More tests for the symbolic execution

* including a few scripts that are marked as unsafe, while they are not. -> Needs a fix

More tests for the symbolic execution
* including a few scripts that are marked as unsafe, while they are not. -> Needs a fix
5e589293 · vincent · aaf3f2b2 · 5e589293
Commit 5e589293 authored 2 years ago by vincent
--- a/tests/language/bitcoin/symbolic/testing_scenarii.py
+++ b/tests/language/bitcoin/symbolic/testing_scenarii.py
@@ -175,4 +175,50 @@ TESTING_SCENARII = [
        Satifiability.SATISFIABLE,
        "63516751676a68",
    ),  # Sig script"516352676a675168948c"
+    TestScenario(
+        "",
+        Satifiability.UNSATISFIABLE,
+        "74b7766b765361876375aa207a73cf250e33244910bd6316b57dbadfcb7a8deb63e5b3b148d0c7b8465cfcc288b06757b687646a5062898a688f5393b19052945288b5b86c7653936b7c8f5294b990a355886c766b8c56b3948893b454886876a9143df74edff637d4c649e16ad96d8b45a71bc8daf9b288ac1220706f7574696e652f667265656e6f64652075",
+    ),
+    TestScenario(
+        "",
+        Satifiability.UNSATISFIABLE,
+        "74b7766b765361876375aa207a73cf250e33244910bd6316b57dbadfcb7a8deb63e5b3b148d0c7b8465cfcc288b06757b687646a5062898a688f5393b19052945288b5b86c7653936b7c8f5294b990a355886c766b8c56b3948893b454886876a914996140612c8f1cd30e8f446ea35ec94d77778686b288ac1220706f7574696e652f667265656e6f64652075",
+    ),
+    TestScenario(
+        "",
+        Satifiability.SATISFIABLE,
+        "765387637551210269fdfceccb4b7a2fac99bde52e1a23b4b257a16ddbc91e17ebbe1299c9bf8a802103bdbd61f48e79213ff7c05a6a9a7027642911170346c05c10e2fa35a848e7c50452af687652876375512103e2e957c8ea1b0c56ec8820b10b6b9ca76074da6a176f0fae9a2d3975f14d25632102d7ebe6b06b97d866efe5c7650ccf65fb4f17ffe69b10c0333e9421b8d6d5886c52af687651876375512103a36b65fd0a7f928cd96a399a29cd31988c0e29f6e696d0be9d58f57c0202183321029fb6694ccd1b075c1abe6147eac32971bc099db052ef5370124625ecddc8577f52af687491",
+    ),
+    TestScenario(
+        "SIGCNT not passed",
+        Satifiability.SATISFIABLE,
+        "63aa200d956550cd777fcfc60f23755eac876b18057cbec2044a977775f590a8cfbbd988410400fd1ce66025b779dcf37047b3a74b58b6e1b50c16389ce0b8fb1ea14b0d752ee3e2bf35792da4468091238b6ced9efd9418757bb5613de0a874e1f205729c6bac674104f915f898c7f5a21e85ebf02ef4c390f1d0281826a42a82e1d61c9a6f4ef027cd0267eaf700b08853de1f48c094432300ba38eaaba1e70fb265d6ed35b0298ca7410400fd1ce66025b779dcf37047b3a74b58b6e1b50c16389ce0b8fb1ea14b0d752ee3e2bf35792da4468091238b6ced9efd9418757bb5613de0a874e1f205729c6b52ae68",
+    ),
+    TestScenario(
+        "CHECKSIG consumed",
+        Satifiability.SATISFIABLE,
+        "2103fb0b46d9443b88da50dba2a321b35ef38f52d83decbd121d18c16aed13e5aea4ac6374632103f9d1dffcb32de42982f022db41eed2deec76856798919028585bb28117e546e9ac6704fdf0ee58b16868",
+    ),
+    TestScenario(
+        "",
+        Satifiability.UNSATISFIABLE,
+        "76410448add681895068f5bc9327db0cc13a00f3521d25df798092e0f5771342672ac0a841cff6ee111f84fcb2365c9ec0d35c06998dc2efafdaa1174d5af11d5fbe8d8763ac6752410429283bb5aea19dbec5e714db2def6004879c25846b3317fc1622222e93c5dae1f9447b1e69c795b2d65df08791d57e15eb34d7582d4500d496af8fc8a57b2756410469ce8eb87fc89a9218fbef6aee86edd86be218f785712e46fbca20d4b5d848a1fa06f6d9da81eb19a447a7b13e2a721a51aac19def0c919ced3b6eef75428b3d52ae68",
+    ),
+    TestScenario(
+        "",
+        Satifiability.SATISFIABLE,
+        "76a9149dea5ed83a2a76f2de7724e15cc0dd304481d0fc8775827776600114a5695f9476539e697c76a914b92e42f8f4ea31599e01538d2b87a4fc8ec8bc978775827776600114a5695f9476539e696e87636d006776937657a063755168876304aaaaaaaa6704bbbbbbbb68687551"
+    ),
+    TestScenario(
+        "",
+        Satifiability.SATISFIABLE,
+        "6b76a914f54f62449d65759744a81b24d375f523767f728e8764011f7c75678276600112a5646a6860947c75686c76a9148c0f1550400e857b778cf75926b1d879de918f178764011f7c75678276600112a5646a6860947c7568937652a2635294687400a0637600876375210292227e0add9d4f4943885e4f5aa2b51b6786238a0f4b22502dedfe8f0cb1ac03ad68687400a06376518763752102a99f6c31345e4e0db2fd05a3f233d1ec2f7d073d8ae6a0b7a45667ef1f594a13ad68687452a26360b26d52210292227e0add9d4f4943885e4f5aa2b51b6786238a0f4b22502dedfe8f0cb1ac032102a99f6c31345e4e0db2fd05a3f233d1ec2f7d073d8ae6a0b7a45667ef1f594a1352ae675168"
+    ),
+    TestScenario(
+        "",
+        Satifiability.SATISFIABLE,
+        "210317797cd3d79845d38b99e7c9d0e2a1d79eadeb6d0842c4e0ee96cc26649c1dbfac7c82926321023a92182ba3b37e356e7bd2618b77d7d3b57788f3be26efdff0dbe95007de315bad0164b16892935187"
+    ),
+
 ]