enhance dom ut

Author: fchn289

src/domino/Domino.hpp

@@ -18,9 +18,8 @@
 //   . 1-go domino is like SW upgrade - 1-go then discard, next will use new domino
 //     . n-go domino is like IM - repeat working till reboot
 //     . after 024-03-19 domino supports n-go
-// - Q&A: (below; lots)
-//
-// - core: states_
+//   . setState() only works on tiles without prev_ (chain head) - safe & simple
+//   . tiles form DAG (directed acyclic graph), cycle links forbidden
 //
 // - VALUE:
 //   * auto broadcast, auto callback, auto shape [MUST-HAVE!]
@@ -29,11 +28,14 @@
 //   . template extension (PriDomino, etc)
 //   . n-go domino
 //
+// - core: states_
+//
 // - MT safe: no
 // - use-safe: yes with conditions:
 //   . no too many events/.. that use-up mem (impossible in most cases)
 //   . user shall not loop ev-link (impossible unless deliberate)
 //     . domino prevent is not 100%, see UT for details
+// - Q&A: (below; lots)
 // ***********************************************************************************************
 #pragma once
 

ut/domino/DominoTest.cpp

@@ -103,8 +103,23 @@ TYPED_TEST_P(DominoTest, bugFix_shallDeduceAll)
     EXPECT_TRUE(PARA_DOM->state("e2"));
 }
 
-#define INVALID_PREV
+#define PREV
 // ***********************************************************************************************
+TYPED_TEST_P(DominoTest, GOLD_multi_allPrevSatisfied_thenPropagate)
+{
+    // e3 depends on e1(T) AND e2(F)
+    PARA_DOM->setPrev("e3", {{"e1", true}, {"e2", false}});
+    EXPECT_FALSE(PARA_DOM->state("e3")) << "REQ: not all prev satisfied yet";
+
+    PARA_DOM->setState({{"e1", true}});
+    EXPECT_TRUE(PARA_DOM->state("e3")) << "REQ: all prev satisfied => propagate T";
+
+    PARA_DOM->setState({{"e2", true}});  // now e2==true breaks link=false
+    EXPECT_FALSE(PARA_DOM->state("e3")) << "REQ: one prev unsatisfied => propagate F";
+
+    PARA_DOM->setState({{"e1", false}});  // e1==false breaks link=true too
+    EXPECT_FALSE(PARA_DOM->state("e3")) << "REQ: no prev satisfied => stay F";
+}
 TYPED_TEST_P(DominoTest, invalid_loopSelf)
 {
     EXPECT_EQ(Domino::D_EVENT_FAILED_RET, PARA_DOM->setPrev("e1", {{"e1", true }})) << "REQ: can't loop self";
@@ -126,7 +141,7 @@ TYPED_TEST_P(DominoTest, invalid_mixLoop)
     EXPECT_NE(Domino::D_EVENT_FAILED_RET, PARA_DOM->setPrev("e0", {{"e1", false}}));
     EXPECT_EQ(Domino::D_EVENT_FAILED_RET, PARA_DOM->setPrev("e1", {{"e0", true}})) << "REQ: can't T/F mix loop";
 }
-TYPED_TEST_P(DominoTest, invalidPrev_toBothTrueAndFalse)
+TYPED_TEST_P(DominoTest, whyFalse_diagnoseTrueFalseConflict)
 {
     // e11 <- (T) <- e10
     //    \         /
@@ -293,11 +308,12 @@ REGISTER_TYPED_TEST_SUITE_P(DominoTest
     , setState_onlyAtChainHead
     , bugFix_shallDeduceAll
 
+    , GOLD_multi_allPrevSatisfied_thenPropagate
     , invalid_loopSelf
     , invalid_deepLoop
     , invalid_deeperLoop
     , invalid_mixLoop
-    , invalidPrev_toBothTrueAndFalse
+    , whyFalse_diagnoseTrueFalseConflict
 
     , GOLD_multi_retOne
     , trueEvent_retEmpty