I successfully downloaded the dockerfile and ran it as proposed in the quickstart. I was wondering however, if there is any way to see what are all the function calls that were made by the fuzzer? I can find the fuzzer_run.log file (which for me looks as below) but this doesn't seem to even call all the functions in the contracts that are tested.
/ContractFuzzer/examples/exception_disorder
2021/04/12 09:06:38 1618218398 1618218998
2021/04/12 09:06:38 Owner()
2021/04/12 09:06:38 0xb4a99a4e
2021/04/12 09:06:38 GetPie()
2021/04/12 09:06:38 0xde12b839
2021/04/12 09:06:38 runtime error: index out of range
2021/04/12 09:06:38 withdraw()
2021/04/12 09:06:38 0x3ccfd60b
2021/04/12 09:06:38 runtime error: index out of range
2021/04/12 09:06:38 GetPie()
2021/04/12 09:06:38 0xde12b839
2021/04/12 09:06:38 runtime error: index out of range
2021/04/12 09:06:38 withdraw()
2021/04/12 09:06:38 0x3ccfd60b
2021/04/12 09:06:38 5
2021/04/12 09:06:38 15
2021/04/12 09:06:38 group_count:15
2021/04/12 09:07:28 1618218448 1618218998
2021/04/12 09:08:18 1618218498 1618218998
2021/04/12 09:08:38 14
2021/04/12 09:08:38 13
2021/04/12 09:08:38 12
2021/04/12 09:08:38 11
2021/04/12 09:08:38 10
2021/04/12 09:08:38 9
2021/04/12 09:08:38 8
2021/04/12 09:08:38 7
2021/04/12 09:08:38 6
2021/04/12 09:08:38 5
2021/04/12 09:08:38 4
2021/04/12 09:08:38 3
2021/04/12 09:08:38 2
2021/04/12 09:08:38 1
2021/04/12 09:08:38 0
2021/04/12 09:08:38 Owner()
2021/04/12 09:08:38 0xb4a99a4e
2021/04/12 09:08:38 withdraw()
2021/04/12 09:08:38 0x3ccfd60b
2021/04/12 09:08:38 GetPie()
2021/04/12 09:08:38 0xde12b839
2021/04/12 09:08:38 Owner()
2021/04/12 09:08:38 0xb4a99a4e
2021/04/12 09:08:38 withdraw()
2021/04/12 09:08:38 0x3ccfd60b
2021/04/12 09:08:38 runtime error: index out of range
2021/04/12 09:08:38 withdraw()
2021/04/12 09:08:38 0x3ccfd60b
2021/04/12 09:08:38 GetPie()
2021/04/12 09:08:38 0xde12b839
2021/04/12 09:08:38 withdraw()
2021/04/12 09:08:38 0x3ccfd60b
2021/04/12 09:08:38 GetPie()
2021/04/12 09:08:38 0xde12b839
2021/04/12 09:08:38 9
2021/04/12 09:08:38 27
2021/04/12 09:08:38 group_count:27
2021/04/12 09:09:08 1618218548 1618219118
2021/04/12 09:09:58 1618218598 1618219118
2021/04/12 09:10:48 1618218648 1618219118
2021/04/12 09:11:38 1618218698 1618219118
2021/04/12 09:12:28 1618218748 1618219118
2021/04/12 09:13:18 1618218798 1618219118
2021/04/12 09:14:08 1618218848 1618219118
2021/04/12 09:14:58 1618218898 1618219118
2021/04/12 09:15:48 1618218948 1618219118
2021/04/12 09:16:38 1618218998 1618219118
2021/04/12 09:17:28 1618219048 1618219118
2021/04/12 09:18:18 1618219098 1618219118
2021/04/12 09:19:08 1618219148 1618219118
2021/04/12 09:19:08 TIMEOUT, stop.
2021/04/12 09:19:08 GetFreebie()
2021/04/12 09:19:08 0x6ea3f1cb
2021/04/12 09:19:08 runtime error: index out of range
2021/04/12 09:19:08 Owner()
2021/04/12 09:19:08 0xb4a99a4e
2021/04/12 09:19:08 runtime error: index out of range
2021/04/12 09:19:08 runtime error: index out of range
2021/04/12 09:19:08 Owner()
2021/04/12 09:19:08 0xb4a99a4e
2021/04/12 09:19:08 runtime error: index out of range
2021/04/12 09:19:08 withdraw()
2021/04/12 09:19:08 0x3ccfd60b
2021/04/12 09:19:08 runtime error: index out of range
2021/04/12 09:19:08 4
2021/04/12 09:19:08 12
2021/04/12 09:19:08 group_count:12
2021/04/12 09:19:58 1618219198 1618219118
2021/04/12 09:19:58 TIMEOUT, stop.
2021/04/12 09:19:58 MinPayment()
2021/04/12 09:19:58 0xec2efe40
2021/04/12 09:19:58 CharterCapital()
2021/04/12 09:19:58 0xae1345c4
2021/04/12 09:19:58 StopPaymens()
2021/04/12 09:19:58 0xb16d22a0
2021/04/12 09:19:58 runtime error: index out of range
2021/04/12 09:19:58 init()
2021/04/12 09:19:58 0xe1c7392a
2021/04/12 09:19:58 StartPaymens()
2021/04/12 09:19:58 0x1fc0e5e9
2021/04/12 09:19:58 WthdrawToCreator(uint256):["0xf44c"]
2021/04/12 09:19:58 0x70f5d3de000000000000000000000000000000000000000000000000000000000000f44c
2021/04/12 09:19:58 ClientQty()
2021/04/12 09:19:58 0x4dfdebe9
2021/04/12 09:19:58 StartPaymens()
2021/04/12 09:19:58 0x1fc0e5e9
2021/04/12 09:19:58 ToSponsor()
2021/04/12 09:19:58 0x8386927a
2021/04/12 09:19:58 9
2021/04/12 09:19:58 27
2021/04/12 09:19:58 group_count:27
2021/04/12 09:20:48 1618219248 1618219118
2021/04/12 09:20:48 TIMEOUT, stop.
2021/04/12 09:20:48 runtime error: index out of range
2021/04/12 09:20:48 0x0
2021/04/12 09:20:48 runtime error: index out of range
2021/04/12 09:20:48 0x0
2021/04/12 09:20:48 runtime error: index out of range
2021/04/12 09:20:48 0x0
2021/04/12 09:20:48 3
2021/04/12 09:20:48 9
2021/04/12 09:20:48 group_count:9
2021/04/12 09:21:38 1618219298 1618219118
2021/04/12 09:21:38 TIMEOUT, stop.
2021/04/12 09:21:38 minQuorum()
2021/04/12 09:21:38 0xb5a127e5
2021/04/12 09:21:38 DaoRules()
2021/04/12 09:21:38 0x8fd9f1b4
2021/04/12 09:21:38 DaoRulesProposals(uint256):["0x878533dcf9bd17826cfa4a7bc93ef7"]
2021/04/12 09:21:38 0xca3e11760000000000000000000000000000000000878533dcf9bd17826cfa4a7bc93ef7
2021/04/12 09:21:38 daoManager()
2021/04/12 09:21:38 0xf322c755
2021/04/12 09:21:38 DaoRulesProposals(uint256):["0xe199e511f5e42dfa806cd00ba1ff705a01b0"]
2021/04/12 09:21:38 0xca3e11760000000000000000000000000000e199e511f5e42dfa806cd00ba1ff705a01b0
2021/04/12 09:21:38 runtime error: index out of range
2021/04/12 09:21:38 5
2021/04/12 09:21:38 15
2021/04/12 09:21:38 group_count:15
2021/04/12 09:22:28 1618219348 1618219118
2021/04/12 09:22:28 TIMEOUT, stop.
I successfully downloaded the dockerfile and ran it as proposed in the quickstart. I was wondering however, if there is any way to see what are all the function calls that were made by the fuzzer? I can find the fuzzer_run.log file (which for me looks as below) but this doesn't seem to even call all the functions in the contracts that are tested.
/ContractFuzzer/examples/exception_disorder 2021/04/12 09:06:38 1618218398 1618218998 2021/04/12 09:06:38 Owner() 2021/04/12 09:06:38 0xb4a99a4e 2021/04/12 09:06:38 GetPie() 2021/04/12 09:06:38 0xde12b839 2021/04/12 09:06:38 runtime error: index out of range 2021/04/12 09:06:38 withdraw() 2021/04/12 09:06:38 0x3ccfd60b 2021/04/12 09:06:38 runtime error: index out of range 2021/04/12 09:06:38 GetPie() 2021/04/12 09:06:38 0xde12b839 2021/04/12 09:06:38 runtime error: index out of range 2021/04/12 09:06:38 withdraw() 2021/04/12 09:06:38 0x3ccfd60b 2021/04/12 09:06:38 5 2021/04/12 09:06:38 15 2021/04/12 09:06:38 group_count:15 2021/04/12 09:07:28 1618218448 1618218998 2021/04/12 09:08:18 1618218498 1618218998 2021/04/12 09:08:38 14 2021/04/12 09:08:38 13 2021/04/12 09:08:38 12 2021/04/12 09:08:38 11 2021/04/12 09:08:38 10 2021/04/12 09:08:38 9 2021/04/12 09:08:38 8 2021/04/12 09:08:38 7 2021/04/12 09:08:38 6 2021/04/12 09:08:38 5 2021/04/12 09:08:38 4 2021/04/12 09:08:38 3 2021/04/12 09:08:38 2 2021/04/12 09:08:38 1 2021/04/12 09:08:38 0 2021/04/12 09:08:38 Owner() 2021/04/12 09:08:38 0xb4a99a4e 2021/04/12 09:08:38 withdraw() 2021/04/12 09:08:38 0x3ccfd60b 2021/04/12 09:08:38 GetPie() 2021/04/12 09:08:38 0xde12b839 2021/04/12 09:08:38 Owner() 2021/04/12 09:08:38 0xb4a99a4e 2021/04/12 09:08:38 withdraw() 2021/04/12 09:08:38 0x3ccfd60b 2021/04/12 09:08:38 runtime error: index out of range 2021/04/12 09:08:38 withdraw() 2021/04/12 09:08:38 0x3ccfd60b 2021/04/12 09:08:38 GetPie() 2021/04/12 09:08:38 0xde12b839 2021/04/12 09:08:38 withdraw() 2021/04/12 09:08:38 0x3ccfd60b 2021/04/12 09:08:38 GetPie() 2021/04/12 09:08:38 0xde12b839 2021/04/12 09:08:38 9 2021/04/12 09:08:38 27 2021/04/12 09:08:38 group_count:27 2021/04/12 09:09:08 1618218548 1618219118 2021/04/12 09:09:58 1618218598 1618219118 2021/04/12 09:10:48 1618218648 1618219118 2021/04/12 09:11:38 1618218698 1618219118 2021/04/12 09:12:28 1618218748 1618219118 2021/04/12 09:13:18 1618218798 1618219118 2021/04/12 09:14:08 1618218848 1618219118 2021/04/12 09:14:58 1618218898 1618219118 2021/04/12 09:15:48 1618218948 1618219118 2021/04/12 09:16:38 1618218998 1618219118 2021/04/12 09:17:28 1618219048 1618219118 2021/04/12 09:18:18 1618219098 1618219118 2021/04/12 09:19:08 1618219148 1618219118 2021/04/12 09:19:08 TIMEOUT, stop. 2021/04/12 09:19:08 GetFreebie() 2021/04/12 09:19:08 0x6ea3f1cb 2021/04/12 09:19:08 runtime error: index out of range 2021/04/12 09:19:08 Owner() 2021/04/12 09:19:08 0xb4a99a4e 2021/04/12 09:19:08 runtime error: index out of range 2021/04/12 09:19:08 runtime error: index out of range 2021/04/12 09:19:08 Owner() 2021/04/12 09:19:08 0xb4a99a4e 2021/04/12 09:19:08 runtime error: index out of range 2021/04/12 09:19:08 withdraw() 2021/04/12 09:19:08 0x3ccfd60b 2021/04/12 09:19:08 runtime error: index out of range 2021/04/12 09:19:08 4 2021/04/12 09:19:08 12 2021/04/12 09:19:08 group_count:12 2021/04/12 09:19:58 1618219198 1618219118 2021/04/12 09:19:58 TIMEOUT, stop. 2021/04/12 09:19:58 MinPayment() 2021/04/12 09:19:58 0xec2efe40 2021/04/12 09:19:58 CharterCapital() 2021/04/12 09:19:58 0xae1345c4 2021/04/12 09:19:58 StopPaymens() 2021/04/12 09:19:58 0xb16d22a0 2021/04/12 09:19:58 runtime error: index out of range 2021/04/12 09:19:58 init() 2021/04/12 09:19:58 0xe1c7392a 2021/04/12 09:19:58 StartPaymens() 2021/04/12 09:19:58 0x1fc0e5e9 2021/04/12 09:19:58 WthdrawToCreator(uint256):["0xf44c"] 2021/04/12 09:19:58 0x70f5d3de000000000000000000000000000000000000000000000000000000000000f44c 2021/04/12 09:19:58 ClientQty() 2021/04/12 09:19:58 0x4dfdebe9 2021/04/12 09:19:58 StartPaymens() 2021/04/12 09:19:58 0x1fc0e5e9 2021/04/12 09:19:58 ToSponsor() 2021/04/12 09:19:58 0x8386927a 2021/04/12 09:19:58 9 2021/04/12 09:19:58 27 2021/04/12 09:19:58 group_count:27 2021/04/12 09:20:48 1618219248 1618219118 2021/04/12 09:20:48 TIMEOUT, stop. 2021/04/12 09:20:48 runtime error: index out of range 2021/04/12 09:20:48 0x0 2021/04/12 09:20:48 runtime error: index out of range 2021/04/12 09:20:48 0x0 2021/04/12 09:20:48 runtime error: index out of range 2021/04/12 09:20:48 0x0 2021/04/12 09:20:48 3 2021/04/12 09:20:48 9 2021/04/12 09:20:48 group_count:9 2021/04/12 09:21:38 1618219298 1618219118 2021/04/12 09:21:38 TIMEOUT, stop. 2021/04/12 09:21:38 minQuorum() 2021/04/12 09:21:38 0xb5a127e5 2021/04/12 09:21:38 DaoRules() 2021/04/12 09:21:38 0x8fd9f1b4 2021/04/12 09:21:38 DaoRulesProposals(uint256):["0x878533dcf9bd17826cfa4a7bc93ef7"] 2021/04/12 09:21:38 0xca3e11760000000000000000000000000000000000878533dcf9bd17826cfa4a7bc93ef7 2021/04/12 09:21:38 daoManager() 2021/04/12 09:21:38 0xf322c755 2021/04/12 09:21:38 DaoRulesProposals(uint256):["0xe199e511f5e42dfa806cd00ba1ff705a01b0"] 2021/04/12 09:21:38 0xca3e11760000000000000000000000000000e199e511f5e42dfa806cd00ba1ff705a01b0 2021/04/12 09:21:38 runtime error: index out of range 2021/04/12 09:21:38 5 2021/04/12 09:21:38 15 2021/04/12 09:21:38 group_count:15 2021/04/12 09:22:28 1618219348 1618219118 2021/04/12 09:22:28 TIMEOUT, stop.