#!/bin/sh # Remove all information involving non-determinism (such as prover # timing and order of obligations) from Frama-C verification log output. sed ' s/ : Timeout (.*$/ : Timeout/ s/ : Unknown (.*$/ : Unknown/ s/ : Valid (.*$/ : Valid/ ' | \ sort