tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/declare4py_performance.csv,sha256=eqH89nO2TjPtB3UvXt_POa5gxJppz1LQrbYzDCq0wns,1035
tests/log_gen_quality_test.py,sha256=4kcaJkcSeQouZ6u_2Igk5oxE_cGddpEEKeIiOOgg2FY,1768
tests/performance_LTL_analyzer.py,sha256=htkeVS7c63SZb34qMZmq9lT0WHrTQm7ZyXCbJL1VqBk,3407
tests/performance_LTL_analyzer_MM.py,sha256=hyaOhkzRZsA2vSy26EbigvAt2H4JQ8ge5IAnMTBI6lo,2975
tests/performance_test.py,sha256=3VOxt6TiLGEKyNurIknwFVwT4H28kBnppPTSh6-Gcws,1141
tests/plot_performance.py,sha256=omgkO8Zhs9BZpO9o1sBsfQ4uSPGxvtfcXsKBfeMf39I,5752
tests/prova_numba.py,sha256=AtRXT_VSKD5V8Q0u9OxhCDfHYYG_h5aOGdXPIFtPBIw,394
tests/declare_models/BusinessTrip.decl,sha256=PCyo2J2Z_rgt_C9E3L6VZT0Tcjj7w1_5kQyMZ6CCYx4,1209
tests/declare_models/decl-model-v3.decl,sha256=7jtYYyVM1Za0AS_oMRuz0eUVDX7Eenz44t-4ok-w1Lo,1825
tests/declare_models/drive_test.decl,sha256=LUbXPLfn_9l2s5YPaO-pq6I18NzkJOHM0UzvG1cJ1JI,431
tests/declare_models/drive_test_encode_free.decl,sha256=No7zDSGcB2NDqa1px0-epzpL7ke60rTnwfjFkrWzG24,431
tests/declare_models/nodata_model.decl,sha256=wMnLckjNPu0R3qTBs-_OHxrxp8LJDPxAeBFnESdjVg0,4520
tests/declare_models/shop_cart.decl,sha256=iWtfxZn55NE9E3BtoIxl_75dDU31I4H5Jn2srQtqbn8,2032
tests/declare_models/xRay.decl,sha256=r4GHtmVmkLAHPkQbGYlGCttJCYGwKndk18YdcwlX-Io,1323
tests/filters_jsons/fifty_filters.json,sha256=PeVxfRZr3DFDRZgJ1toeyt46zGtYuFROhpyXzTqkaQY,943
tests/filters_jsons/five_filters.json,sha256=8Amj8jggScdINKpbUIx9_5vL3OIDBDW69nfeynUIdws,1208
tests/filters_jsons/one_filters.json,sha256=jFdVfR0ingD5FIorbPqRjk_ruTuE3V9yrilkDO15cEc,240
tests/filters_jsons/ten_filters.json,sha256=PeVxfRZr3DFDRZgJ1toeyt46zGtYuFROhpyXzTqkaQY,943
tests/filters_jsons/twenty_filters.json,sha256=z_oCQFeb-8H4DRQSyn1ZUX5PikeatMa7aHPS8zj1c2w,4776
tests/test_logs/InternationalDeclarations.xes.gz,sha256=tSfI0GJV9DEsbOjzb39BECQ9hP1spIWDzZuAiWxgFJQ,1581144
tests/test_logs/Road_Traffic_Fine_Management_Process.xes,sha256=fQhxR8tbILFYJAubrweYpPe-vguzXkjWHHLpcfNG5uY,14472747
tests/test_logs/Sepsis Cases.xes.gz,sha256=cJxSNAMGQVlSgRubnF3GvMj41H1YPro535pThFncVDo,202508
tests/test_logs/Sepsis(1000 traces).xes,sha256=XyMdAi9Vavy2_G-Bu5viboJa00OBlzXatHeLUc2Em9Y,5143413
tests/test_logs/repair_example(500 traces).xes,sha256=0l08108AP0OPBcQPA2kkiIxXXtmMPrcI7-xy8UzggqE,1609981
tests/test_logs/teleclaims(2500traces).xes,sha256=AVgcgcvq4-_J0y6sNAf1tMg7qQwTog8ZpYJMcaZREJI,9873768
tests/test_models/data_model.decl,sha256=M5GsMPvxIJggyCDLol-f3KwXPerwINTulMhhNqHzRvo,4719
tests/test_models/decl-model-v3.decl,sha256=Pxs0Ao9Aj4vlkZGX1Vj4ncKnFpNzWsDwu3emZ5PjKLY,1821
tests/test_models/decl-model.decl,sha256=boRgSVgrgFQd68t2aToYWAPvB0C-2_I4kpL3Zl3h8NM,1676
tests/test_models/decl-model2.decl,sha256=XuIwN5Y-E56cY1AEa91FMPmMGZId67SO--l08u9Lvgw,1717
tests/test_models/decl-model3.decl,sha256=fP7Bw6FSTYBhSIlaY_BJoPD5M3lsxJI41m0O_k_QTE0,1721
tests/test_models/decl-model4.decl,sha256=kexPkcFBaTDBimaTfP-n7mTFsEdcS6sqoZtSTQL57d8,218
tests/test_models/decl-model5.decl,sha256=9Nh2w105B7LRB86DP9fZbbQ8ZWWbV0y3EfCnxUVPhyo,487
tests/test_models/decl-model6.decl,sha256=iIlIBOHLfpVcaWxFxamdrrTC3Eo-ULI3lfkW_ur0ptc,136
tests/test_models/decl-model7.decl,sha256=9Nh2w105B7LRB86DP9fZbbQ8ZWWbV0y3EfCnxUVPhyo,487
tests/test_models/example1.decl,sha256=OaAjO4OkS6dpe5s9vmBSjb1xbWuz6QBEisfAm45dG20,1084
tests/test_models/model1.decl,sha256=EdybbgR7FuTNL--IweUjjCYTzgkEAsc2e2ljtDfvq7g,3398
tests/test_models/model2.decl,sha256=S2TfqOQeGB7_eJ4Ltcfarvt2ZmtqF_PFmfGZXHEjZGA,4851
tests/test_models/model3.decl,sha256=DMMptpG1_kVpFqEk3nRF8erxiZnEzMFXRR3oC58tiXQ,5794
tests/test_models/model4.decl,sha256=_9dTepcvB-MlsC7FQH4dTxnrq3aJTvFdiUMmX87STeo,6604
tests/test_performance/ltl_analyzer.csv,sha256=LuFJcV2tCAZSd94hbc80Ai-Arq0iYG2TfeKpDxpwXbU,46347
tests/test_performance/performance_ltl_analyzer.csv,sha256=DQgecvnjonXU0MvBzovrideb8PYMWSuJcZzUuLYgkhc,12534
tests/unit_tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
declare4py-2.1.1.dist-info/METADATA,sha256=YS23zCm37Z7xwW8Sz_muChSVDizS0fo_TREAi0gaq-I,6999
declare4py-2.1.1.dist-info/WHEEL,sha256=yQN5g4mg4AybRjkgi-9yy4iQEFibGQmlz78Pik5Or-A,92
declare4py-2.1.1.dist-info/top_level.txt,sha256=EdW7283x-lr_cbuivW8Ij7ANAP-ZJ9sLtILQseEPxXg,6
declare4py-2.1.1.dist-info/RECORD,,
