TESTBDDCIRCUIT(3)

📦 version 5.1.1-unstable-2025-02, in nixos 26.05, nixpkgs unstable

💅 NAME 💅

okay bestie, this is TESTBDDCIRCUIT(3) from the BDD FUNCTIONS manual, and it debugs a bdd circuit. no cap. 🫶

🎀 ORIGIN 🎀

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. 🌸

Web : http://asim.lip6.fr/recherche/alliance/ E-mail : alliance-users@asim.lip6.fr

✨ SYNOPSIS ✨

#include "bdd101.h"
int testbddcircuit( BddCircuit )
  bddcircuit ∗BddCircuit;

🦋 PARAMETERS 🦋

  • BddCircuit — the bdd circuit to debug. literally the whole assignment, bestie. 💖

🔥 DESCRIPTION 🔥

testbddcircuit calls a debugger of BddCircuit. If a null pointer is given, the default bdd circuit is used. This function provides multiple commands to debug all the functions include in this bdd package. 💀✨

🌈 RETURN VALUE 🌈

testbddcircuit returns 0 if the debugger is interrupted by user, and 1 otherwise. so user interrupt gives you 0, and otherwise you get 1. periodt. 💅

🍓 EXAMPLE 🍓

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   ...
   testbddcircuit( (bddcircuit ∗)0 );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

👑 SEE ALSO 👑

bdd(1) — go read that too, bestie. iykyk. 🦋

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools. 🫶

sign-off: ASIM/LIP6, October 1, 1997 — TESTBDDCIRCUIT(3) edition 💖

📦 where this page comes from