diff options
Diffstat (limited to 'results/classifier/108/other/2818')
| -rw-r--r-- | results/classifier/108/other/2818 | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/results/classifier/108/other/2818 b/results/classifier/108/other/2818 new file mode 100644 index 000000000..ddef10fb2 --- /dev/null +++ b/results/classifier/108/other/2818 @@ -0,0 +1,22 @@ +graphic: 0.883 +performance: 0.866 +device: 0.848 +network: 0.789 +semantic: 0.788 +debug: 0.761 +other: 0.715 +socket: 0.629 +PID: 0.612 +vnc: 0.601 +files: 0.590 +boot: 0.552 +KVM: 0.273 +permissions: 0.209 + +Passing `-M microvm` and `-smbios type=11...` results in smbios args being silently dropped +Description of problem: +(reporting as requested by `danpb` on IRC) + +Using the `-machine microvm` flag with the `smbios type=11...` argument results in the smbios options being silently discarded, because the microvm target doesn't seem to support the smbios feature. + +danpb on IRC suggested that passing those two incompatible flags should result in an error. |