aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries
ModeNameSize
-rw-r--r--.gitignore1850logstatsplainblame
-rw-r--r--Case_study_A.java12404logstatsplainblame
-rw-r--r--Inv03.java26186logstatsplainblame
-rw-r--r--Inv05.java29475logstatsplainblame
-rw-r--r--Inv06.java23242logstatsplainblame
-rw-r--r--Inv07.java19852logstatsplainblame
-rw-r--r--Inv08.java29637logstatsplainblame
-rw-r--r--Inv10.java24288logstatsplainblame
-rw-r--r--Inv11.java20723logstatsplainblame
-rw-r--r--Inv12.java22788logstatsplainblame
-rw-r--r--Inv13.java23050logstatsplainblame
-rw-r--r--Inv15.java20761logstatsplainblame
-rw-r--r--Inv17.java25218logstatsplainblame
-rw-r--r--Inv20.java22823logstatsplainblame
-rw-r--r--Inv33.java25617logstatsplainblame
-rw-r--r--Inv34.java24988logstatsplainblame
-rw-r--r--Inv35.java24912logstatsplainblame
-rw-r--r--Inv47.java24997logstatsplainblame
-rw-r--r--Inv48.java20700logstatsplainblame
-rw-r--r--Inv49.java20696logstatsplainblame
-rw-r--r--X_inv03_eligAll.java23811logstatsplainblame
-rw-r--r--X_inv03_hasAll.java20758logstatsplainblame
-rw-r--r--X_inv05_inRange.java25209logstatsplainblame
-rw-r--r--X_inv08_inRange.java25327logstatsplainblame
-rw-r--r--X_inv08_noType.java20650logstatsplainblame
-rw-r--r--X_inv08_notEI.java20269logstatsplainblame
-rw-r--r--X_inv11_incNotOver100.java26348logstatsplainblame
-rw-r--r--X_inv11_incOver100.java25118logstatsplainblame
-rw-r--r--X_inv12_notNonRes.java20182logstatsplainblame
-rw-r--r--X_inv12_notZZ.java21601logstatsplainblame
-rw-r--r--X_inv13.java19797logstatsplainblame
-rw-r--r--X_inv15.java28922logstatsplainblame
-rw-r--r--X_inv47.java22167logstatsplainblame
-rw-r--r--X_inv48_3.java20901logstatsplainblame
-rw-r--r--X_inv48_Dis.java23321logstatsplainblame
-rw-r--r--X_inv48_notDis.java22289logstatsplainblame
-rw-r--r--X_inv49_1.java22826logstatsplainblame
-rw-r--r--X_inv49_2.java19597logstatsplainblame
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 18:10:46 +0000