Search results

The skip_node function has a wrong logic, so specify a specific function by --functions will not work

Status: Open.

#49 In Certora/gambit;

· dayday2019 opened on Sep 16, 2025

Forse

Status: Open.

#38 In Certora/gambit;

· bpavo opened on Jan 7, 2024

Foundry x Gambit Compatibility

Status: Open.

#36 In Certora/gambit;

· samparsky opened on Dec 15, 2023

Add mutation configuration to gambit_out to allow for reproducibility

Status: Open.

#31 In Certora/gambit;

· BenTheKush opened on Aug 6, 2023

Request: Provide platform dependent binaries as well for macOS

Status: Open.

#29 In Certora/gambit;

· sambacha opened on Jul 14, 2023

Improve --outdir argument behavior

Status: Open.

#23 In Certora/gambit;

· Sta1400 opened on May 22, 2023

Issue with swap-arguments-function mutation in Gambit tool: Limited to functions with 2 arguments

Status: Open.

#21 In Certora/gambit;

· Sta1400 opened on Apr 13, 2023

Issue with function-call mutation in Gambit tool: Require statement treated as a function

Status: Open.

#19 In Certora/gambit;

· Sta1400 opened on Apr 13, 2023

Request for addition of mutation for relational operators in Gambit tool

Status: Open.

#18 In Certora/gambit;

· Sta1400 opened on Apr 13, 2023