tree 92067a2e793b8e5576103de280ea66fecd9603fa
parent 8dee20fb2238ec414383fa46baae0132663e1e47
author Guy Harris <guy@alum.mit.edu> 1580875664 -0800
committer Guy Harris <guy@alum.mit.edu> 1580875664 -0800

Do the isis-seg-fault-1-v test regardless of the floating-point type.

This test seems to work even with "x87" floating point; perhaps it fails
on, e.g., SPARC with some compiler.