index
:
VIATRA-Generator
Attribute-Solver
Realistic-Generation-SURE
RealisticMetrics
Scope-PS-Refactor
V4transformation
Vampire-ArenB
Vampire-New
cardinality-counter
dreal-integration
hypergraphs
master
models20-measurements
smartgridgenerator
statecoding_new
web-demo
Mirror of https://github.com/viatra/VIATRA-Generator
Contributors to the VIATRA Generator project
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
Tests
/
ca.mcgill.ecse.dslreasoner.standalone.test
/
src-gen
/
ca
/
mcgill
/
ecse
/
dslreasoner
/
standalone
/
test
/
yakindu
/
queries
Mode
Name
Size
-rw-r--r--
.gitignore
5780
log
stats
plain
blame
-rw-r--r--
Child.java
31031
log
stats
plain
blame
-rw-r--r--
ChoiceHasNoIncoming.java
22118
log
stats
plain
blame
-rw-r--r--
ChoiceHasNoOutgoing.java
22254
log
stats
plain
blame
-rw-r--r--
EntryInRegion.java
29158
log
stats
plain
blame
-rw-r--r--
HasMultipleIncomingTrainsition.java
22920
log
stats
plain
blame
-rw-r--r--
HasMultipleOutgoingTrainsition.java
22920
log
stats
plain
blame
-rw-r--r--
HasMultipleRegions.java
24000
log
stats
plain
blame
-rw-r--r--
IncomingToEntry.java
29380
log
stats
plain
blame
-rw-r--r--
MultipleTransitionFromEntry.java
37430
log
stats
plain
blame
-rw-r--r--
NoEntryInRegion.java
21905
log
stats
plain
blame
-rw-r--r--
NoOutgoingTransitionFromEntry.java
22670
log
stats
plain
blame
-rw-r--r--
NoStateInRegion.java
22424
log
stats
plain
blame
-rw-r--r--
NotSynchronizingStates.java
22892
log
stats
plain
blame
-rw-r--r--
OutgoingFromExit.java
30005
log
stats
plain
blame
-rw-r--r--
OutgoingFromFinal.java
30309
log
stats
plain
blame
-rw-r--r--
StateInRegion.java
29765
log
stats
plain
blame
-rw-r--r--
SynchHasNoIncoming.java
22332
log
stats
plain
blame
-rw-r--r--
SynchHasNoOutgoing.java
22484
log
stats
plain
blame
-rw-r--r--
SynchThree.java
27752
log
stats
plain
blame
-rw-r--r--
SynchronizedIncomingInSameRegion.java
42062
log
stats
plain
blame
-rw-r--r--
SynchronizedRegionDoesNotHaveMultipleRegions.java
33865
log
stats
plain
blame
-rw-r--r--
SynchronizedRegionsAreNotSiblings.java
44370
log
stats
plain
blame
-rw-r--r--
Transition.java
36984
log
stats
plain
blame
-rw-r--r--
TwoSynch.java
30029
log
stats
plain
blame