Finish airborne extraction after 30 seconds and hold rescue aircraft; record Workshop 0.0.134
continuous-integration/drone/push Build is passing

This commit is contained in:
2026-10-31 15:01:51 +01:00
parent d21adb90d5
commit 2c2158702d
14 changed files with 981 additions and 22 deletions
+13
View File
@@ -23,3 +23,16 @@ int main() {
}
""")
print("PASS: all survivors required, continuous eight-second boarding hold, reset on exit and clock rollback")
flight_rules=body(source,'static float AirborneSince(')+body(source,'static bool FlightComplete(')
run("#include <cassert>\n"+flight_rules+"""
int main(){
assert(AirborneSince(false,-1,1000)==-1);
float since=AirborneSince(true,-1,1000);
assert(!FlightComplete(since,30999));assert(FlightComplete(since,31000));
assert(AirborneSince(false,since,2000)==-1);
assert(AirborneSince(true,since,0)==0);
assert(!FlightComplete(-1,100000));assert(!FlightComplete(5000,4999));
}
""")
print('PASS: thirty continuous airborne seconds, grounded reset and clock rollback')