package rdbg

  1. Overview
  2. Docs
RDBG: a reactive programs debugger.

Install 

dune-project
 Dependency

gricad-gitlab.univ-grenoble-alpes.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.1.175.tgz
sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608
md5=0df4a0287c76d0bc69bda9de4b0f1610

doc/src/rdbg-plugin.rdbg4lurette/extTool.ml.html

Source file extTool.ml

1
2
3
4
5
6
7
8
9
10
11
(* Time-stamp: <modified the 22/01/2016 (at 14:45) by Erwan Jahier> *)

open Mypervasives

let (sim2chro_dyn : unit -> out_channel) =
  fun () ->
    let sim2chro = try mygetenv "SIM2CHRO" with _ -> "sim2chrogtk" in
    let oc = Unix.open_process_out (sim2chro ^ " -ecran /dev/null") in
    print_string "sim2chro is launched and waits for data...\n";
    flush stdout;
    oc