masawei
|
0a2a759932
|
Ltl testng.
Former-commit-id: 57f486db59
|
11 years ago |
|
masawei
|
ee1ebdf91d
|
Removed the visitor from LTL and refactured the formulas to use shared pointer in stead of standart pointer.
Next up: Continue testing.
Former-commit-id: 0103895e13
|
11 years ago |
|
masawei
|
9fe246a98b
|
Renamed the folders containing the formulas to lowercase to adhere to the naming conventions and Started with testing.
-Tests for BoundAction done
Former-commit-id: d5698d3d53
|
12 years ago |
|
masawei
|
1f71bb5240
|
Refactored the DeterministicModelParser.
Former-commit-id: 7227d25499
|
12 years ago |
PBerger
|
48571cd12c
|
Fixed a regression in the LtlParserTest.cpp
Former-commit-id: 79ee45eecd
|
13 years ago |
|
PBerger
|
89909fe8dc
|
Edited all Parsers to lose its class.
Modified many classes to provide a reference-constructor.
Fixed a few bugs in Tests.
Former-commit-id: c31fe95aae
|
13 years ago |
Lanchid
|
ec91dcbe2e
|
Merge branch master into LTLParser
|
13 years ago |
dehnert
|
27de566228
|
Moved current tests to the functional test suite in an attempt to introduce performance tests.
|
13 years ago |
|
Lanchid
|
cc242974dc
|
Renamed namespace storm::formula to storm::property
|
13 years ago |
|
Lanchid
|
d0adf9d1b3
|
Some more test cases and, resulting from those, minor changes in LTL
parser.
|
13 years ago |
|
Lanchid
|
01b1efc12d
|
Some improvements/corrections to the LTL parser and some test cases for
it
|
13 years ago |
