Shaun Azzopardi

icon indicating a website link https://shaunazzopardi.github.io/ icon indicating an email [email protected]

Results 5 issues of Shaun Azzopardi

Handle revert()

A block of statements at the end of a function is repeated

Consider the following function: `function submitTeamMember(string teamMember) { // get current total salary for team uint totalSalary = 0; uint newSalary = 0; for (uint i = 0; i <...

Flattened CFGs with control-flow of called functions

Broken link to Vampire dependency

The link to dependency Vampire in ./Makefile is broken: http://forsyte.at/wp-content/uploads/vampire.zip

Wrong verdict on simple example with Xs

Hey, On the latest version of Strix (21.0.0), I am getting a realisable verdict on the following .tlsf file: ``` INFO { TITLE: "" DESCRIPTION: "" SEMANTICS: Mealy TARGET: Mealy...