Skip to content

Fix references to souffle-addon in README.md #231

Fix references to souffle-addon in README.md

Fix references to souffle-addon in README.md #231

GitHub Actions / Test Results (Souffle 2.4) succeeded Aug 30, 2024 in 0s

All 56 tests pass in 40m 8s

56 tests  ±0   56 ✅ ±0   40m 8s ⏱️ +56s
 1 suites ±0    0 💤 ±0 
 1 files   ±0    0 ❌ ±0 

Results for commit 75deaad. ± Comparison against earlier commit 9cb8c53.

Annotations

Check notice on line 0 in .github

See this annotation in the file changed.

@github-actions github-actions / Test Results (Souffle 2.4)

56 tests found

There are 56 tests, see "Raw output" for the full list of tests.
Raw output
test_gigahorse ‑ test_gigahorse[context-sensitivity.callsite]
test_gigahorse ‑ test_gigahorse[context-sensitivity.callsiteplus]
test_gigahorse ‑ test_gigahorse[context-sensitivity.finite-precise]
test_gigahorse ‑ test_gigahorse[context-sensitivity.hybrid-precise]
test_gigahorse ‑ test_gigahorse[context-sensitivity.selective]
test_gigahorse ‑ test_gigahorse[context-sensitivity.selectiveplus]
test_gigahorse ‑ test_gigahorse[context-sensitivity.shrinking-alt]
test_gigahorse ‑ test_gigahorse[context-sensitivity.shrinking]
test_gigahorse ‑ test_gigahorse[context-sensitivity.transactional]
test_gigahorse ‑ test_gigahorse[core-decompiler.00a3c53138715e8c2b8c078c7821e763-incomplete-with-opt]
test_gigahorse ‑ test_gigahorse[core-decompiler.0x4679ea96f15a4742274dc72e1a58e01af333d302-incomplete-transferFrom]
test_gigahorse ‑ test_gigahorse[core-decompiler.11116421e77b80a26b273843d54829d8]
test_gigahorse ‑ test_gigahorse[core-decompiler.134a17969a5a108b721d9ff270bc6dca_callprivatei]
test_gigahorse ‑ test_gigahorse[core-decompiler.2eb080bb2a31076a82ed1433ed020184-missingop]
test_gigahorse ‑ test_gigahorse[core-decompiler.49ceac2769b83ac04f76bb527e62ed01]
test_gigahorse ‑ test_gigahorse[core-decompiler.WETH]
test_gigahorse ‑ test_gigahorse[default-fallback-scalable.2d56cd44e89f2cf76a935c2508f710e7]
test_gigahorse ‑ test_gigahorse[early-cloning.025e998a619d32b096abc559fb0e4b4b_preInsertor]
test_gigahorse ‑ test_gigahorse[early-cloning.94e2dee39b28629940bf79e23d0cf206_generalCloner]
test_gigahorse ‑ test_gigahorse[early-cloning.no-jump-to-many.0x7c643F04283229ed38c51531a9583E9036aC87Aa]
test_gigahorse ‑ test_gigahorse[guards.external-guards]
test_gigahorse ‑ test_gigahorse[guards.mapping-guard]
test_gigahorse ‑ test_gigahorse[guards.owner-guard]
test_gigahorse ‑ test_gigahorse[memory-modeling.arrays.0117c9ec55e2ac580fa9c9b1c2d1fff9]
test_gigahorse ‑ test_gigahorse[memory-modeling.arrays.0x9c1C32B81E452E5D8b70F42F27585Be505023AEe_mcopy]
test_gigahorse ‑ test_gigahorse[memory-modeling.arrays.callDataArrayGet]
test_gigahorse ‑ test_gigahorse[memory-modeling.arrays.callDataArrays]
test_gigahorse ‑ test_gigahorse[memory-modeling.calls.0x602B40BF327C10370483AE5ECDE15A7BB480DCCA]
test_gigahorse ‑ test_gigahorse[memory-modeling.calls.0xD6049E1F5F3EFF1F921F5532AF1A1632BA23929C]
test_gigahorse ‑ test_gigahorse[memory-modeling.calls.abiencwithselector]
test_gigahorse ‑ test_gigahorse[memory-modeling.errors.basic]
test_gigahorse ‑ test_gigahorse[memory-modeling.events.events1]
test_gigahorse ‑ test_gigahorse[memory-modeling.events.events2]
test_gigahorse ‑ test_gigahorse[memory-modeling.structs.array-struct]
test_gigahorse ‑ test_gigahorse[memory-modeling.structs.calldata-struct]
test_gigahorse ‑ test_gigahorse[memory-modeling.structs.simple-struct]
test_gigahorse ‑ test_gigahorse[memory-modeling.structs.stored-struct]
test_gigahorse ‑ test_gigahorse[precise-fallback.no-jump-to-many.0x7c643F04283229ed38c51531a9583E9036aC87Aa]
test_gigahorse ‑ test_gigahorse[storage.0xf40593A22398c277237266A81212f7D41023b630-merged]
test_gigahorse ‑ test_gigahorse[storage.Audius]
test_gigahorse ‑ test_gigahorse[storage.array-mapping]
test_gigahorse ‑ test_gigahorse[storage.array-merged]
test_gigahorse ‑ test_gigahorse[storage.array-two-words]
test_gigahorse ‑ test_gigahorse[storage.array1-iropt]
test_gigahorse ‑ test_gigahorse[storage.array1-opt]
test_gigahorse ‑ test_gigahorse[storage.array1]
test_gigahorse ‑ test_gigahorse[storage.complex]
test_gigahorse ‑ test_gigahorse[storage.map1]
test_gigahorse ‑ test_gigahorse[storage.mapping-merged]
test_gigahorse ‑ test_gigahorse[storage.merged-iropt]
test_gigahorse ‑ test_gigahorse[storage.merged-opt]
test_gigahorse ‑ test_gigahorse[storage.merged]
test_gigahorse ‑ test_gigahorse[storage.nested-mapping]
test_gigahorse ‑ test_gigahorse[via-ir.simple-storage]
test_gigahorse ‑ test_gigahorse[vyper.blind]
test_gigahorse ‑ test_gigahorse[vyper.simple-open]