Florian Schanda
Florian Schanda
Hi, We've found the following answers of gosat to be probably incorrect (sat that should be unsat and vice versa). The filenames below come from my bag of benchmarks. https://github.com/florianschanda/smtlib_schanda...
- [x] All code in a "testing" directory (as indicated by a `miss_hit.cfg` should be flagged as a test) - [ ] Otherwise, the following block properties indicate setup code...
New syntax to add all possible root paths (plus maybe excluding)
https://www.mathworks.com/help/matlab/matlab_prog/function-argument-validation-1.html > do not use functions that interact with the function workspace. Specifically, do not use nested functions or any of the functions listed in the following table in the...
Check for: * Unused variables * Uninitialized variables
Might be nice to know in a larger codebase, what is and isn't used and how. Output would be a .dot file or similar.
Given 1 output in MATLAB or Simulink, fully identify all inputs that flow into that output. Unlike the Simulink "highlight to source" function, this should take into account combination (e.g....
Some questionable logic constructions: ``` if x y = true else y = false end ``` Or ``` x = y == true ``` Or ``` x = false if...
Functions that imply they return something in the name should actually return something. `get*` (should return something) `is*` or `has*` (should return a single boolean)