renandf · June 21, 2024 01:15
diff --git a/SketchSystems.spec b/SketchSystems.spec
 Traffic light
  power outage -> Power outage
  Green*
    tick -> Yellow
  Yellow
    tick -> Red
  Red
    tick -> Green

 Power outage
  power back up -> Traffic light
  Yellow on
    tick -> Yellow off
  Yellow off
    tick -> Yellow on
  
diff --git a/SketchSystems_prototype.js b/SketchSystems_prototype.js
 function render(model){
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
 }
	function render(model){
	let current_state_name = model.active_states[0].name;
	return $("h1",
	{style: {color: "darkBlue"}},
	`The current state is: ${current_state_name}`);
	}