File tree Expand file tree Collapse file tree 6 files changed +16
-6
lines changed Expand file tree Collapse file tree 6 files changed +16
-6
lines changed Original file line number Diff line number Diff line change 66 (package multicoretests)
77 (deps
88 stm_tests.exe
9- lin_tests.exe
9+ lin_tests.exe ;; currently not run on CI
1010 lin_tests_dsl.exe))
1111
1212(executable
Original file line number Diff line number Diff line change 44(alias
55 (name default)
66 (package multicoretests)
7- (deps stm_tests.exe lin_tests.exe lin_tests_dsl.exe))
7+ (deps
8+ stm_tests.exe
9+ lin_tests.exe ;; currently not run on CI
10+ lin_tests_dsl.exe))
811
912
1013;; STM_sequential and STM_domain test of Atomic
Original file line number Diff line number Diff line change 66 (package multicoretests)
77 (deps
88 stm_tests.exe
9- lin_tests.exe
9+ lin_tests.exe ;; currently not run on CI
1010 lin_tests_dsl.exe))
1111
1212(executable
Original file line number Diff line number Diff line change 44(alias
55 (name default)
66 (package multicoretests)
7- (deps lin_tests.exe stm_tests.exe lin_tests_dsl.exe))
7+ (deps
8+ lin_tests.exe ;; currently not run on CI
9+ stm_tests.exe
10+ lin_tests_dsl.exe)) ;; currently not run on CI
811
912(executable
1013 (name stm_tests)
Original file line number Diff line number Diff line change 44(alias
55 (name default)
66 (package multicoretests)
7- (deps lin_tests.exe lin_tests_dsl.exe))
7+ (deps
8+ lin_tests.exe ;; currently not run on CI
9+ lin_tests_dsl.exe))
810
911(executable
1012 (name lin_tests_dsl)
Original file line number Diff line number Diff line change 44(alias
55 (name default)
66 (package multicoretests)
7- (deps lin_tests.exe lin_tests_dsl.exe))
7+ (deps
8+ lin_tests.exe ;; currently not run on CI
9+ lin_tests_dsl.exe))
810
911(executable
1012 (name lin_tests_dsl)
You can’t perform that action at this time.
0 commit comments