Index of /src/modelator-0.4.2/tests/integration/resource/

../
2PossibleTraces.cfg                                29-Nov-1973 21:33                  19
2PossibleTraces.json                               29-Nov-1973 21:33                1114
2PossibleTraces.tla                                29-Nov-1973 21:33                 628
2PossibleTracesTests.tla                           29-Nov-1973 21:33                 230
IBC_ics02.json                                     29-Nov-1973 21:33                 343
IBC_ics02.tla                                      29-Nov-1973 21:33                5145
Indices.cfg                                        29-Nov-1973 21:33                  69
Indices.json                                       29-Nov-1973 21:33                1529
Indices.tla                                        29-Nov-1973 21:33                4273
IndicesBalances.tla                                29-Nov-1973 21:33                5298
IndicesBalancesExec.tla                            29-Nov-1973 21:33                3031
IndicesBalancesHistoryTests.tla                    29-Nov-1973 21:33                2896
IndicesBalancesTests.tla                           29-Nov-1973 21:33                1572
IndicesExec.tla                                    29-Nov-1973 21:33                2984
IndicesHistoryTests.tla                            29-Nov-1973 21:33                2135
IndicesTests.cfg                                   29-Nov-1973 21:33                  83
IndicesTests.tla                                   29-Nov-1973 21:33                1363
Numbers.cfg                                        29-Nov-1973 21:33                  49
Numbers.json                                       29-Nov-1973 21:33                3756
Numbers.tla                                        29-Nov-1973 21:33                1310
NumbersAMaxBMaxTest.tla                            29-Nov-1973 21:33                 316
NumbersAMaxBMinTest.tla                            29-Nov-1973 21:33                 308
NumbersAMinBMaxTest.tla                            29-Nov-1973 21:33                 308
NumbersBIsOdd.tla                                  29-Nov-1973 21:33                 289
TrafficCrossing.json                               29-Nov-1973 21:33                1636
TrafficCrossing.tla                                29-Nov-1973 21:33                3576
TrafficCrossingHistoryTest.cfg                     29-Nov-1973 21:33                  62
TrafficCrossingHistoryTest.tla                     29-Nov-1973 21:33                1282
TrafficCrossingTest.cfg                            29-Nov-1973 21:33                  62
TrafficCrossingTest.tla                            29-Nov-1973 21:33                 315
mod.rs                                             29-Nov-1973 21:33                  17
numbers.rs                                         29-Nov-1973 21:33                2095
smoke.json                                         29-Nov-1973 21:33                 151