Searching in models/ngspice/testing/smoke_test