Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/C/Android/art/art/test/991-field-trace-2/ (Android Betriebssystem Version 17^©) Datei vom 26.5.2026 mit Größe 8 kB

Quelle expected-stdout.txt

Sprache: Text

Test is class art.Test991$DoNothingFieldTracer & class art.Test991$JavaReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$DoNothingFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1)
normal read: xyz = 0
FieldTracer: class art.Test991$DoNothingFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1). New value: 1 (type: class java.lang.Integer)
Final state: xyz = 1
Test is class art.Test991$ThrowReadFieldTracer & class art.Test991$JavaReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ThrowReadFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1)
Caught error. art.Test991$TestError: Throwing error during access
Final state: xyz = 0
Test is class art.Test991$ThrowWriteFieldTracer & class art.Test991$JavaReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ThrowWriteFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1)
normal read: xyz = 0
FieldTracer: class art.Test991$ThrowWriteFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1). New value: 1 (type: class java.lang.Integer)
Caught error. art.Test991$TestError: Throwing error during modify
Final state: xyz = 0
Test is class art.Test991$ModifyDuringReadFieldTracer & class art.Test991$JavaReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ModifyDuringReadFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1)
normal read: xyz = 20
FieldTracer: class art.Test991$ModifyDuringReadFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1). New value: 21 (type: class java.lang.Integer)
Final state: xyz = 21
Test is class art.Test991$ModifyDuringWriteFieldTracer & class art.Test991$JavaReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ModifyDuringWriteFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1)
normal read: xyz = 0
FieldTracer: class art.Test991$ModifyDuringWriteFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1). New value: 1 (type: class java.lang.Integer)
Final state: xyz = 1
Test is class art.Test991$ModifyDuringReadAndWriteFieldTracer & class art.Test991$JavaReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ModifyDuringReadAndWriteFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1)
normal read: xyz = 10
FieldTracer: class art.Test991$ModifyDuringReadAndWriteFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public void art.Test991$JavaReadWrite.accept(art.Test991$TestClass1). New value: 11 (type: class java.lang.Integer)
Final state: xyz = 11
Test is class art.Test991$DoNothingFieldTracer & class art.Test991$ReflectiveReadWrite
Initial state: xyz = 0
reflective read: xyz = 0
Final state: xyz = 1
Test is class art.Test991$ThrowReadFieldTracer & class art.Test991$ReflectiveReadWrite
Initial state: xyz = 0
reflective read: xyz = 0
Final state: xyz = 1
Test is class art.Test991$ThrowWriteFieldTracer & class art.Test991$ReflectiveReadWrite
Initial state: xyz = 0
reflective read: xyz = 0
Final state: xyz = 1
Test is class art.Test991$ModifyDuringReadFieldTracer & class art.Test991$ReflectiveReadWrite
Initial state: xyz = 0
reflective read: xyz = 0
Final state: xyz = 1
Test is class art.Test991$ModifyDuringWriteFieldTracer & class art.Test991$ReflectiveReadWrite
Initial state: xyz = 0
reflective read: xyz = 0
Final state: xyz = 1
Test is class art.Test991$ModifyDuringReadAndWriteFieldTracer & class art.Test991$ReflectiveReadWrite
Initial state: xyz = 0
reflective read: xyz = 0
Final state: xyz = 1
Test is class art.Test991$DoNothingFieldTracer & class art.Test991$NativeReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$DoNothingFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1)
native read: xyz = 0
FieldTracer: class art.Test991$DoNothingFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1). New value: 1 (type: class java.lang.Integer)
Final state: xyz = 1
Test is class art.Test991$ThrowReadFieldTracer & class art.Test991$NativeReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ThrowReadFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1)
Caught error. art.Test991$TestError: Throwing error during access
Final state: xyz = 0
Test is class art.Test991$ThrowWriteFieldTracer & class art.Test991$NativeReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ThrowWriteFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1)
native read: xyz = 0
FieldTracer: class art.Test991$ThrowWriteFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1). New value: 1 (type: class java.lang.Integer)
Caught error. art.Test991$TestError: Throwing error during modify
Final state: xyz = 1
Test is class art.Test991$ModifyDuringReadFieldTracer & class art.Test991$NativeReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ModifyDuringReadFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1)
native read: xyz = 20
FieldTracer: class art.Test991$ModifyDuringReadFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1). New value: 21 (type: class java.lang.Integer)
Final state: xyz = 21
Test is class art.Test991$ModifyDuringWriteFieldTracer & class art.Test991$NativeReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ModifyDuringWriteFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1)
native read: xyz = 0
FieldTracer: class art.Test991$ModifyDuringWriteFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1). New value: 1 (type: class java.lang.Integer)
Final state: xyz = 1
Test is class art.Test991$ModifyDuringReadAndWriteFieldTracer & class art.Test991$NativeReadWrite
Initial state: xyz = 0
FieldTracer: class art.Test991$ModifyDuringReadAndWriteFieldTracer
ACCESS of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1)
native read: xyz = 10
FieldTracer: class art.Test991$ModifyDuringReadAndWriteFieldTracer
MODIFY of public int art.Test991$TestClass1.xyz on object of type: class art.Test991$TestClass1 in method public static native void art.Test991.doNativeReadWrite(art.Test991$TestClass1). New value: 11 (type: class java.lang.Integer)
Final state: xyz = 11

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-29) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.