.. |
code
|
13e63f5c85
Fixed reachability computation
|
преди 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
|
13e63f5c85
Fixed reachability computation
|
преди 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 години |