Skip to content

Actions: WebVOWL/sovs-parser

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
23 workflow runs
23 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
add positive test for multiple components Test #23: Commit e5e3596 pushed by TheMagzuz
55s main
main
55s
add isomorphism test for different sets of mapped node properties Test #22: Commit 1f86295 pushed by TheMagzuz
49s main
main
49s
add isomorphism checking on mapped properties like equivalentTo Test #21: Commit 508360a pushed by TheMagzuz
46s main
main
46s
add isomorphism checking on mapped properties like equivalentTo Test #20: Commit 2018e5a pushed by TheMagzuz
49s main
main
49s
add text to inverse properties test Test #19: Commit 1ca27b2 pushed by TheMagzuz
42s main
main
42s
remove thing text from test cases Test #18: Commit 037162f pushed by TheMagzuz
45s main
main
45s
remove subclass of text from and.sovs Test #17: Commit a7bc94f pushed by TheMagzuz
45s main
main
45s
move isomorphism tests Test #16: Commit bc8bb73 pushed by TheMagzuz
39s main
main
39s
make property matching case insensitive in isomorphism Test #15: Commit abbcc9a pushed by TheMagzuz
42s main
main
42s
add more test cases Test #14: Commit 892958c pushed by TheMagzuz
39s main
main
39s
fix and test case Test #13: Commit 27d5b89 pushed by TheMagzuz
45s main
main
45s
use VF2 instead of reduction to Boolean systems Test #12: Commit 55b31aa pushed by TheMagzuz
48s main
main
48s
include debug info in benches Test #11: Commit 6363b37 pushed by TheMagzuz
1m 1s main
main
1m 1s
make isomorphism work with multiple components Test #10: Commit fbd8f21 pushed by TheMagzuz
40s main
main
40s
make isomorphism work with multiple components Test #9: Commit 5c1186e pushed by TheMagzuz
54s main
main
54s
make isomorphism work with multiple components Test #8: Commit 5ef7d24 pushed by TheMagzuz
53s main
main
53s
only declare test_suite module when its feature is active Test #7: Commit f86adff pushed by TheMagzuz
43s main
main
43s
make include_dir optional Test #6: Commit 93a09bb pushed by TheMagzuz
40s main
main
40s
make properties a bit more ergonomic Test #5: Commit 286827f pushed by TheMagzuz
49s main
main
49s
add support for test cases Test #4: Commit b8ce4ed pushed by TheMagzuz
45s main
main
45s
implement isomorphism Test #3: Commit 7af82d6 pushed by TheMagzuz
42s main
main
42s
add builder Test #2: Commit a7e0cfd pushed by TheMagzuz
37s main
main
37s
initial commit Test #1: Commit ee6964b pushed by TheMagzuz
32s main
main
32s