caml-urm

A OCaml module for manipulating unlimited register machines

git clone: git://git.pablopie.xyz/caml-urm
Log
Files
Refs
README
LICENSE

Commit: 898227eed936e1358cc99c86ebf54f9415080028
Parent: bec5a0426ee47dd49fe7c1995e4e455d125e41d8
Author: Pablo <pablo-escobar@riseup.net>
Date: Tue, 28 Mar 2023 21:53:46 +0000

Increased the default number of maximum itarations

Diffstat

2 files changed, 2 insertions, 2 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	main.ml	2	1	1
Modified	urm.1	2	1	1

diff --git a/main.ml b/main.ml
@@ -4,7 +4,7 @@ let usage () =
   Printf.printf "USAGE: urm FILE [-i ITERS] [-RN=V...] [-RN...] \n";
   Printf.printf "See urm.1 for additional information\n"
 
-let default_max_iters = 1000
+let default_max_iters = 1073741824
 
 (** Execute the program from [file] with initial register values given by
     [regs] and the maximum number of allowed iterations set to [iters] *)

diff --git a/urm.1 b/urm.1
@@ -41,7 +41,7 @@ A simple Unlimited Register Machine (URM) simulator
 Sets the maximum number of iterations allowed to \fIITERS\fP: an arbitrary
 program may not halt for a given input and this option configures how much
 instructions is the machine allowed to run before failing with an error.
-Defaults to \fI1000\fP
+Defaults to \fI1073741824\fP
 .RE
 .sp
 \fB-R\fP\fIN\fP=\fIV\fP