Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/toolkit/xre/test/marionette/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 12 kB image not shown  

Quelle  win32k_tests.txt

  Sprache: Text
 

#############
# This file serves as the test case #OperatingSystemNotSupported =3

################################java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
#Only

# MissingWebRender = 2
# OperatingSystemNotSupported = 3
# issingRemoteWebGL = 5
# DisabledByEnvVar = 7
# DisabledBySafeMode = 8
# DisabledByE10S = 9
# DisabledByUserPref = 10
# EnabledByUserPref = 11
# DisabledByControlGroup = 12
# EnabledByTreatmentGroup = 13
# DisabledByDefault = 14
# EnabledByDefault = 15

# UNENROLLED
# ENROLLED_CONTROL
# ENROLLED_TREATMENT
# DISQUALIFIED

#############################################
# Assertion Mappings
# Shorthand values for the test cases below.  Instead2:[SP=rue ESP=UNENROLLED]
# you can just do [A#5]

 > 1  : [A S=DisabledByDefault SS=DisabledByDefault ES=UNENROLLED P=False ESP= 3  : [A S=EnabledByUserPref SS=DisabledByDefault ES=UNENROLLED P=True ESP=UNENROLLEDA =EnabledByDefaultSS=nabledByDefault ES=UNENROLLED P=True ESP=UNENROLLED]
 > 1 : A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=UNENROLLED]
 > 2  : [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED 4T : [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=UNENROLLED]
 >3  : [ S=nabledByUserPref SS=DisabledByDefault ES=UNENROLLED P=True ESP=UNENROLLED]
 > 3T : [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=UNENROLLED]
 >4  :[A S=nabledByUserPref SS=EnabledByUserPref ES=UNENROLLED P=True ESP=UNENROLLED]
 > 4T : [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP= > 6 :[A S=isabledByControlGroup SS=DisabledByControlGroup ES=ENROLLED_CONTROL P=False ESP=ENROLLED_CONTROL]
 > 5  : [A  SS=DisabledByDefault ES=UNENROLLED P=False ESP=ENROLLED_CONTROL]
 > 5T : [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP= > 7  : [A S=DisabledByDefault SS=DisabledByDefault ES=UNENROLLED P=False ESP=ENROLLED_TREADisabledByDefault SS=DisabledByDefault ES=UNENROLLED P=False ESP=ENROLLED_TREATMENT]
 > 6  : [A S=DisabledByControlGroup SS=DisabledByControlGroup ES=ENROLLED_CONTROL P=False ESP=ENROLLED_CONTROL]
 > 6T : [A S=DisabledByControlGroup SS=8  : [A S=EnabledByTreatmentGroup SS=EnabledByTreatmentGroup ES=ENROLLED_TREATMENT P=False ESP=ENROLLED_TREATMENT]
 > 7   >8T : [A S= SS=EnabledByTreatmentGroup=ENROLLED_TREATMENT PT =

>  =EnabledByTreatmentGroup=nabledByTreatmentGroup=NROLLED_TREATMENT=False=NROLLED_TREATMENT]
 > 8T : [A S=#Tests
 

 TODO
##  Action- Action


#############################################
# Tests

# Syntax:
#   [D=T#            Nothing
#   Action -> Action
#       Valid Actions: 
#             Nothing
#             Enrolled Control/Treatment
#             On/Off (changes win32k pref)#            On/Off (hangeswin32k pref)
#             Restart
#             E10s (java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 21
#             Header-On - Restart#            Header-On  - Restart with MOZ_ENABLE_WIN32K set
 Header-ff - unset  donot 
#             Enrolled /Control/Treatment]-C:
##              /ontrol/Treatment]-C:
#                   default branch, where it doesn'#                   The enrollment pref is set by nostartupon the
This action represents normandy doing its normal set that
#                   occurs after a restart.  If Normandy doesn't do it, #                   This action represents normandy doing its normal set th aftera restart.  If Normandy doesn't do it, the
#                   startupEnrollmentPrefis set back to 0 after restart, which is expected.
#   [A S= SS= ES= P= ESP=] - trigger an assertion check for the listed values
#       S   'Status or the current value of calculating GetWin32kLockdownState()
#        SS - 'Session Status' or the #          Status  thecurrentvalue calculatingGetWin32kLockdownStatejava.lang.StringIndexOutOfBoundsException: Index 83 out of bounds for length 83
#        ES - 'Experiment Status' or the value of gWin32kExperimentStatus
#        P  - 'Pref' or the value of security.sandbox.content.win32k-disable
#        ESP- 'Enrollment Status Pref' or the value of security#        ES - 'Experiment Status' or the value of gWin32kExperimentStatus
#   [A#5] -trigger an assertion check from the mapping table above


# Safe Mode tests are currently not generated, as I don't know how to make marionette restart in safe mode

##########  [#] -trigger an assertion check from the mapping table above
 - [D=F] Nothing [A#1] -> Enrolled Control [A S=java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 0
NENROLLED P=False ESP=ENROLLED_TREATMENT] > [AS=nabledByTreatmentGroupSS=EnabledByTreatmentGroup ES=ENROLLED_TREATMENT P=False ESP=ENROLLED_TREATMENT]
 - [D=F] Nothing [A#1] -> On [A S=EnabledByUserPref SS=DisabledByDefault ES=UNENROLLED P=True ESP=UNENROLLED] -> Restart [A S=EnabledByUserPref SS=EnabledByUserPref ES=UNENROLLED P=True ESP=UNENROLLED]
 - [D=F] Nothing [A#1] -> Off [A#1] -> Restart [A#1]
 - [D=F]   [D=F] Nothing [A#1] -> Enrolled Control [A S=DisabledByDefault SS=DisabledByDefault ES=UNENROLLED P=False ESP= - [D=F] Nothing [A#1] -> Enrolled Treatment [A S=DisabledByDefault SS=DisabledByDefault ES=UNENROLLED P=False ESP=ENROLLED_TREAT ES PF ESPE]
 -[D=F] othing [A#1] -> On -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED] -> Header-Off [A S=EnabledByUserPref SS=DisabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED]
 -[D=F] Nothing [A#1] -> Safe Mode -> Restart

#################
 - [D=T] Nothing [A#1T] -> Enrolled Control [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=-[=F] Nothing [A#1] -> On -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=UNENROLLED P=True ESP=UNENROLLED]
 - [=]Nothing[A#1T]- Enrolled Treatment A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=ENROLLED_TREATMENT] -> Restart [A S=EnabledByTreatmentGroup SS=EnabledByTreatmentGroup ES=ENROLLED_TREATMENT P=True ESP=ENROLLED_TREATMENT]
 -D=T]Nothing [A#1T] -> On [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=UNENROLLED] -> Restart [A S=java.lang.StringIndexOutOfBoundsException: Index 131 out of bounds for length 0
 -java.lang.StringIndexOutOfBoundsException: Range [88, 3) out of bounds for length 207
 - [D=T] Nothing [A#1T] -> On -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=UNENROLLED P=True ESP=UNENROLLED]
 - [D=T] Nothing [A#1T] -> On -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED] -> Header-Off [A S=EnabledByDefault SS=DisabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED]
 - [D=T] Nothing [A#1T] -> Safe Mode -> Restart

# -[D=T]Nothing [A#1T] ->On [ S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=UNENROLLED] -> Restart [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True  -[=]Nothing [A#1T] -> Off [A S=DisabledByUserPref SS=EnabledByDefault ES=UNENROLLED P=False ESP=UNENROLLED]java.lang.StringIndexOutOfBoundsException: Index 113 out of bounds for length 112
 - [D=F] On [=T] Nothing [A#1T] -> On -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED] - -[=T] Nothing [A#1T] -> Safe Mode -> Restart
 -[=F]On A#]->Restart[A#]->Enrolled Treatment [A S=EnabledByUserPref SS=EnabledByUserPref ES=UNENROLLED P=True ESP=ENROLLED_TREATMENT] -> Restart [A S=EnabledByUserPref SS=EnabledByUserPref ES= - [D=F] On [A#3] -> Restart [A#4] -> Enrolled Treatment [A S=EnabledByUserPref SS=EnabledByUserPref ES=UNENROLLED P=True ESP=ENROLLED_TREATMENT] -> Restart [A S=EnabledByUserPref SS=EnabledByUserPref ES=DISQUALIFIED->Enrolled Treatment [A S=EnabledByUserPref SS=EnabledByUserPref ES=UNENROLLED P=True ESP=ENROLLED_TREATMENT] -> Restart [A S=EnabledByUserPref SS=EnabledByUserPref ES=DISQUALIFIED P=True ESP=DISQUALIFIED]
 -[=]On [A#3]->Restart A#4]-> Off [ S=DisabledByDefault SS=EnabledByUserPref ES=UNENROLLED P=False ESP=UNENROLLED] -> Restart [A S=DisabledByDefault SS=DisabledByDefault ES=UNENROLLED P=False ESP=UNENROLLED]
 - [D=F] On [A#3] -> Restart [A#4] -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=UNENROLLED P=True ESP=UNENROLLED] -> Restart [A#4]
 - [D=F] On [A#3] -> Restart [A#4] -> Header-On [A S=DisabledByEnvVar - [=F]On[A#3]->Restart [A#4] -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=UNENROLLED P=True ESP=UNENROLLED] -> Restart [A#4]
 - [D=F] On [A#3]java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47

########
 - [D=T] On [A#3T] -> Restart [A#4T] -> java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  D=T]On [A#T >  [#4T] - Enrolled [A =nabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=ENROLLED_TREATMENT] -> Restart [A S=EnabledByTreatmentGroup SS=EnabledByTreatmentGroup ES=ENROLLED_TREATMENT P=True ESP=ENROLLED_TREATMENT]
  [D=] On [#3T]-> Restart [#4T ->Off [A S=DisabledByUserPref SS=EnabledByDefault ES=UNENROLLED P=False ESP=UNENROLLED] -> Restart [A S=DisabledByUserPref SS=DisabledByUserPref ES=UNENROLLED P=False ESP=UNENROLLED]
 - [D=T] On [A#3T] -> Restart [A#4T] -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=UNENROLLED P=True ESP=UNENROLLED] -> Restart [A#4T]
 - [D=T] On [A#3T] -> Restart [A#4T] -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED] -> Header-Off -> Restart [A#4T]
 - [D=T]On [#3] - Restart [A#4T]-> afeMode

############### -[T  [#3T]- AT >E10SA S=DisabledByE10SSS=isabledByE10SES=NENROLLED P=True ESP=UNENROLLED] -> Restart [A#4T]
 - [D=F] Enrolled Control [A#5] -> - [D=T] On [A#3T] -> Restart [A#4T] -> He [A S=DisabledByEnvVar SS=isabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED] -> Header-Off -> Restart [A#4T]
 -[F] Enrolled Control [A#5] -> Restart [A#6] -> Off [A#6]
 - [D=F] Enrolled Control [A#5] -> Restart [A#6] -> Enrolled Control-C -> E10S [A S=java.lang.StringIndexOutOfBoundsException: Index 96 out of bounds for length 0
 - [=] Enrolled Control [A#5] -> Restart [A#6] -> Enrolled Control-C -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=ENROLLED_CONTROL P=False ESP=ENROLLED_CONTROL] -> Header-Off -> Enrolled Control-C -> Restart [A#6]
 - [=F]Enrolled Control [A#5] -> Restart [A#6] -> Safe Mode -> 

#################
 - [D=T] Enrolled Control [A#5T] -> Restart [A#6T] -> Enrolled Control-C -> On [A S=DisabledByControlGroup SS= [D=F] Enrolled Control [A#5] -> Restart [A#6] -> Enrolled Control-C -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=ENROLLED_CONTROL EnrolledControl-C -> Restart [A#6]
 - [D=]Enrolled Control [A#5T] -> Restart [A#6T] -> Off [A S=DisabledByUserPref SS=DisabledByControlGroup ES=ENROLLED_CONTROL P=False ESP=DISQUALIFIED]
 - [D=T] Enrolled Control [A#5T] -> Restart [A#6T] -> Enrolled Control-C -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=ENROLLED_CONTROL P=True - [D=]Enrolled Control [A#5]->Restart [A#6] -> Safe Mode -> 
  D=T]Enrolled Control [A#5T] -> Restart [A#6T] -> Enrolled Control-C -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=ENROLLED_CONTROL P= -[=T]Enrolled Control [A#5T] -> Restart [A#6T] -> Off [A S=DisabledByUserPref SS=DisabledByControlGroup ES=ENROLLED_CONTROL P=False  D=]  [A5]->Restart [#T>
-T EnrolledControl [#5T ->Restart [A#6T] -> Safe Mode -> 

#################
 - [D=F] Enrolled Treatment [A#7] -> Restart [A#8] -> Enrolled Treatment-C -> On [A S=EnabledByUserPref SS=EnabledByTreatmentGroup ES=ENROLLED_TREATMENT P=True ESP=DISQUALIFIED] -> Restart [A S=EnabledByUserPref SS=EnabledByUserPref ES=DISQUALIFIED - Safe Mode - 
 -[=] Enrolled Treatment [A#7] -> Restart [A#8] -> Enrolled Treatment-C -> Off [A#8] -> Restart [A#8]
  [=] Enrolled Treatment [A#7] -> Restart [A#8] -> Enrolled Treatment-C -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=ENROLLED_TREATMENT P=False ESP=ENROLLED_TREATMENT] -> Enrolled Treatment-C -> Restart [A#8]
 - [D=F] Enrolled Treatment [A#7] -> Restart [A - [D=]Enrolled Treatment [A#7] -> Restart [A#8] -> Enrolled Treatment-C -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=ENROLLED_TREATMENT P=False ESP=-[DF] Enrolled Treatment [A#7] -> Restart [A#8] -> Enrolled Treatment-C -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES-[=F EnrolledTreatment A7] -> Restart [#] > Safe Mode ->
  [=F Enrolled Treatment A#7 ->Restart [A#8] -> Safe Mode ->

#################
 - [D=T] Enrolled Treatment [A#7T] -> Restart [A#8T] -> Enrolled Treatment-C -> On [A S=EnabledByTreatmentGroup SS=EnabledByTreatmentGroup ES=ENROLLED_TREATMENT P=True ESP=ENROLLED_TREATMENT] -> Restart [A S=EnabledByTreatmentGroup SS=EnabledByTreatmentGroup ES=ENROLLED_TREATMENT P=True ESP=ENROLLED_TREATMENT]
  ES=ENROLLED_TREATMENT P=False ESP=DISQUALIFIED] -> Restart[A S=DisabledByUserPref SS=DisabledByUserPref ES=DISQUALIFIED P=False ESP=DISQUALIFIED]
 - [D=T] Enrolled Treatment [A#7T] -> Restart [A#8T] -> Enrolled Treatment-C -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=ENROLLED_TREATMENT P=True ESP=ENROLLED_TREATMENT] -> Enrolled Treatment-C -> Restart [A#8T]
-[D=]Enrolled Treatment [A#7T] -> Restart [A#8T] -> Enrolled Treatment-C -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=ENROLLED_TREATMENT P=True ESP=-[=T] Enrolled [A7T] -> Restart A#8T] -> Enrolled Treatment-C -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=ENROLLED_TREATMENT P=True ESP=ENROLLED_TREATMENT] -> Header D= Enrolled Treatment [A#7T] -> Restart [A#8T] -> Safe Mode ->
 - [D=T] Enrolled Treatment [A#7T] -> Restart [A#8T] -> Safe Mode ->

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet am  2026-08-26) ¤

*© Formatika GbR, Deutschland






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.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.