aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries
ModeNameSize
-rw-r--r--.gitignore2439logstatsplainblame
-rw-r--r--Case_study_A.java12405logstatsplainblame
-rw-r--r--Inv03.java26187logstatsplainblame
-rw-r--r--Inv05.java29476logstatsplainblame
-rw-r--r--Inv06.java27701logstatsplainblame
-rw-r--r--Inv07.java24217logstatsplainblame
-rw-r--r--Inv08.java29638logstatsplainblame
-rw-r--r--Inv10.java24289logstatsplainblame
-rw-r--r--Inv11.java20724logstatsplainblame
-rw-r--r--Inv12.java23198logstatsplainblame
-rw-r--r--Inv13.java23051logstatsplainblame
-rw-r--r--Inv15.java20762logstatsplainblame
-rw-r--r--Inv17.java25219logstatsplainblame
-rw-r--r--Inv20.java22824logstatsplainblame
-rw-r--r--Inv33.java25618logstatsplainblame
-rw-r--r--Inv34.java24989logstatsplainblame
-rw-r--r--Inv35.java24913logstatsplainblame
-rw-r--r--Inv47.java24998logstatsplainblame
-rw-r--r--Inv48.java20701logstatsplainblame
-rw-r--r--Inv49.java20697logstatsplainblame
-rw-r--r--X_inv03_eligAll.java23812logstatsplainblame
-rw-r--r--X_inv03_hasAll.java20759logstatsplainblame
-rw-r--r--X_inv05_inRange.java25282logstatsplainblame
-rw-r--r--X_inv08_inRange.java25328logstatsplainblame
-rw-r--r--X_inv08_noType.java20651logstatsplainblame
-rw-r--r--X_inv08_notEI.java20270logstatsplainblame
-rw-r--r--X_inv11_incNotOver100.java29176logstatsplainblame
-rw-r--r--X_inv11_incOver100.java25119logstatsplainblame
-rw-r--r--X_inv12_notNonRes.java20474logstatsplainblame
-rw-r--r--X_inv12_notZZ.java21602logstatsplainblame
-rw-r--r--X_inv13.java19798logstatsplainblame
-rw-r--r--X_inv15.java28923logstatsplainblame
-rw-r--r--X_inv47.java22168logstatsplainblame
-rw-r--r--X_inv48_3.java20902logstatsplainblame
-rw-r--r--X_inv48_Dis.java23322logstatsplainblame
-rw-r--r--X_inv48_notDis.java22290logstatsplainblame
-rw-r--r--X_inv49_1.java22827logstatsplainblame
-rw-r--r--X_inv49_2.java19598logstatsplainblame
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-11 06:16:56 +0000