| .. |
|
code
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
8 년 전 |
|
conftest.py
|
42ea08d75a
Added a flag to skip very slow tests (e.g., pn_simulate_larger)
|
8 년 전 |
|
test_binary2decimal.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_constructors_al.py
|
cbf7128816
Fixed model constructors
|
8 년 전 |
|
test_constructors_al_linkable.py
|
cbf7128816
Fixed model constructors
|
8 년 전 |
|
test_constructors_models.py
|
b3d9913375
Fixed problem in AL metamodel
|
8 년 전 |
|
test_constructors_models_compiled.py
|
13acff07e0
Fixed bugs surfacing in the constructors_models_compiled test
|
8 년 전 |
|
test_factorial.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_fibonacci.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_fibonacci_smart.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_if_elif.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_leap_year.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_main.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_mvc.py
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
8 년 전 |
|
test_power.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_remainder.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
test_revert.py
|
43a59546df
Remove all PO tests
|
8 년 전 |
|
utils.py
|
be1aca1769
Use PO for now, as that is the only one supporting debug for now
|
8 년 전 |
Yentl Van Tendeloo
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running