przemko icon

Kot Schrödingera

przemko | PRO | 12/14/24 12:39:36 PM UTC (Edited) | 0 ⭐ | 16694 👁️ | Never ⏰ | []
Ada |

210 B

|

Source Code

|

0 👍

/

0 👎

procedure Schrodinger with SPARK_Mode, No_Return is
   Cat_Is_Alive : Boolean := False with Ghost;
begin
   loop
      null;
   end loop;
   pragma Assert (Cat_Is_Alive and not Cat_Is_Alive);
end Schrodinger;

Comments

  •  icon
    01/01/70 12:00:00 AM UTC
    Plain Text |

    0 B

    |

    👍

    /

    👎

    
        
  • Suikzau icon
    03/31/26 10:05:32 PM UTC
    text |

    0 B

    |

    0 👍

    /

    0 👎

    Best t33n active cpx link daily updates!
     Copy and paste the link in a new browser tab and then hit enter!
     https://crazyporn.@xxx/members/157354/?asgtbndr=1&play=true&spon=adworld&zone=400
     Remove the @ 
  • Zyubi icon
    04/05/26 02:32:42 AM UTC
    text |

    0 B

    |

    0 👍

    /

    0 👎

    Best t33n active cpx link daily updates!
     Copy and paste the link in a new browser tab and then hit enter!
     https://crazyporn.xxx/members/157354/?asgtbndr=1&play=true&spon=adworld&zone=400
  •  icon
    01/01/70 12:00:00 AM UTC
    Plain Text |

    0 B

    |

    👍

    /

    👎