diff --git a/aiken.toml b/aiken.toml index 8135907..20cf612 100644 --- a/aiken.toml +++ b/aiken.toml @@ -20,5 +20,4 @@ name = "aiken-lang/fuzz" version = "2.2.0" source = "github" -[config.default] -now = 1769000103000 +[config] diff --git a/check.sh b/check.sh index 9d9821b..597f482 100755 --- a/check.sh +++ b/check.sh @@ -25,25 +25,25 @@ while getopts "m:E:H" opt; do esac done -# Get the Latest Block-time -echo -e "${MAGENTA}Getting${RESET} the latest ${WHITE}block time${RESET}:" -NOW=$(curl "https://api.koios.rest/api/v1/tip?select=block_time" | jq .[].block_time) -echo "" +# # Get the Latest Block-time +# echo -e "${MAGENTA}Getting${RESET} the latest ${WHITE}block time${RESET}:" +# NOW=$(curl "https://api.koios.rest/api/v1/tip?select=block_time" | jq .[].block_time) +# echo "" -# Print the Latest Block-time: -echo -e "${MAGENTA}Current${RESET} ${WHITE}block time${RESET}: ${NOW}000" -echo "" +# # Print the Latest Block-time: +# echo -e "${MAGENTA}Current${RESET} ${WHITE}block time${RESET}: ${NOW}000" +# echo "" -# Configure `aiken.toml` -CONFIG=() -while read LINE; do - if [[ "$LINE" == now* ]]; then - CONFIG+=("now = ${NOW}000") - else - CONFIG+=("$LINE") - fi -done < aiken.toml -printf "%s\n" "${CONFIG[@]}" > aiken.toml +# # Configure `aiken.toml` +# CONFIG=() +# while read LINE; do +# if [[ "$LINE" == now* ]]; then +# CONFIG+=("now = ${NOW}000") +# else +# CONFIG+=("$LINE") +# fi +# done < aiken.toml +# printf "%s\n" "${CONFIG[@]}" > aiken.toml # Run `aiken check`` echo -e "${MAGENTA}Running${RESET} ${WHITE}aiken check${RESET}:" diff --git a/docs/config.html b/docs/config.html deleted file mode 100644 index 105f03a..0000000 --- a/docs/config.html +++ /dev/null @@ -1,468 +0,0 @@ - - - - - - config - aiken-extra/test_kit - - - - - - - - - - - -
- - -

- test_kit - - lithium-β - - -

-
-
- - -
-
-
- - - - -
- -
- - -
- -

- config -

- - - - - -
-

- Constants -

- - -
-
- 

now: Int = 1769000103000

- - - -
-
-
- -
- - - - -
-
-
- - - - - - - - - - - - - - - - - - - - - - - - - Search - - - - - - - Document - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/docs/index.html b/docs/index.html index 0f62515..1ae962c 100644 --- a/docs/index.html +++ b/docs/index.html @@ -193,14 +193,6 @@

Modules

-
  • - config -
    • - - - - -
  • test_kit
    • @@ -528,9 +520,9 @@

    tx

    - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - +