Chaque test lance tools/etm-powersync-ref-optimizer en sous-processus (démarrage borné, échec en clair, jamais bloqué). - identité Q6 (banc restreint, passe confort seule) sur unix:// et tcp:// : ce que les mocks reçoivent au cycle i sous l'optimiseur == au cycle i-1 sous le rule-based seul, 36 cycles ; - chaque mode de défaut → la ligne du tableau §7, sur le banc complet, et le retour ; notifications une par transition ; slow : update() ≤ 1 ms ; - optimiseur 1.0 accepté ; traces rejouées sur un nouvel optimiseur : 0 divergence, puis mode deviate : divergence, code 1 ; L4 et L2 gagnent ; token recopié : nulle part ; - catalogue des codes émissibles identique à celui du moteur. 8 fonctions, 33 / 0, 54 s. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
3 lines
126 B
Prolog
3 lines
126 B
Prolog
TEMPLATE = subdirs
|
|
SUBDIRS += charging decisions loadmodel optimizerclient refoptimizer simulation socketscheduler spotmarket
|