Shaun Azzopardi issues

Repositories
Issues
Comments

Results 4 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