trailofbits / differ

Detecting Inconsistencies in Feature or Function Evaluations of Requirements
GNU Affero General Public License v3.0
67 stars 4 forks source link

Expect exit from a specific signal #60

Closed ameily closed 1 year ago

ameily commented 1 year ago

For the bftpd sample, the server is terminated with a SIGINT, which right now triggers crash detection. There needs to be a expect_signal configuration that accepts a signal number or name that, when provided, DIFFER verifies that the process exited because of the signal.