Function test_slither

Returns Promise<number>

A number indicating the result of the operation:

• 0 if all the generated programs pass the analysis
• 1 if generated program triggers an error
• 2 if the output directory does not exist
• 3 if the time limit is exceeded
• 4 if slither is not installed
• 5 if executable solc is not found