diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-07-03 07:27:52 +0000 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-07-03 07:27:52 +0000 |
| commit | d0c85e36e4de67af628d54e9ab577cc3fad7796a (patch) | |
| tree | f8f784b0f04343b90516a338d6df81df3a85dfa2 /results/classifier/deepseek-2-tmp/output/device/802 | |
| parent | 7f4364274750eb8cb39a3e7493132fca1c01232e (diff) | |
| download | emulator-bug-study-d0c85e36e4de67af628d54e9ab577cc3fad7796a.tar.gz emulator-bug-study-d0c85e36e4de67af628d54e9ab577cc3fad7796a.zip | |
add deepseek and gemma results
Diffstat (limited to 'results/classifier/deepseek-2-tmp/output/device/802')
| -rw-r--r-- | results/classifier/deepseek-2-tmp/output/device/802 | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/results/classifier/deepseek-2-tmp/output/device/802 b/results/classifier/deepseek-2-tmp/output/device/802 deleted file mode 100644 index dc9179d6..00000000 --- a/results/classifier/deepseek-2-tmp/output/device/802 +++ /dev/null @@ -1,27 +0,0 @@ - -Devices created using '-device' JSON syntax don't emit DEVICE_DELETED when unplugged -Description of problem: -Run the following sequence: - -``` - $ ./qemu-system-x86_64 -qmp stdio \ - -device '{"driver": "virtio-mouse-pci", "id": "dev0"}' \ - -device virtio-mouse-pci,id=dev1 -{"QMP": {"version": {"qemu": {"micro": 50, "minor": 2, "major": 6}, "package": "v6.2.0-105-g7494244ffc-dirty"}, "capabilities": ["oob"]}} -{ "execute": "qmp_capabilities" } -{"return": {}} -{ "execute": "device_del", "arguments": { "id": "dev0"} } -{"return": {}} -{ "execute": "device_del", "arguments": { "id": "dev1"} } -{"return": {}} -{ "execute": "system_reset" } -{"return": {}} -{"timestamp": {"seconds": 1641385071, "microseconds": 120178}, "event": "RESET", "data": {"guest": false, "reason": "host-qmp-system-reset"}} -{"timestamp": {"seconds": 1641385071, "microseconds": 121431}, "event": "DEVICE_DELETED", "data": {"path": "/machine/peripheral/dev1/virtio-backend"}} -{"timestamp": {"seconds": 1641385071, "microseconds": 121684}, "event": "DEVICE_DELETED", "data": {"device": "dev1", "path": "/machine/peripheral/dev1"}} -{"timestamp": {"seconds": 1641385071, "microseconds": 122297}, "event": "DEVICE_DELETED", "data": {"path": "/machine/peripheral/dev0/virtio-backend"}} -{"timestamp": {"seconds": 1641385071, "microseconds": 198581}, "event": "RESET", "data": {"guest": true, "reason": "guest-reset"}} - - ``` - -Notice the lack of a "DEVICE_DELETED" event with path "/machine/peripheral/dev0" - the device created with JSON syntax |