KevinKu

Angular 12 開發環境說明

為了能讓大家能夠順利的建立起 Angular 12 開發環境，以下是需要安裝的相關軟體與安裝步驟與說明。

[ 作業系統 ]

• Windows 10 以上版本
• Mac OS X 10.6 以上版本

[ 套件管理器 ( Mac OS X Only ) ]

KevinKu

start: Sat Mar  9 17:35:22 CST 2019:{"confidences":[1.0],"duration":2176}\n

min duration : Sat Mar  9 17:59:15 CST 2019:{"confidences":[0.0],"duration":135}

error : Sat Mar  9 18:06:04 CST 2019:{"error":"The selected entry point\u0027s subtangle size is too big. EntryPoint Hash: 999999999999999999999999999999999999999999999999999999999999999999999999999999999 Subtangle size: 273470","duration":60812}


max duration: Sat Mar  9 18:07:06 CST 2019:{"error":"The selected entry point\u0027s subtangle size is too big. EntryPoint Hash: 999999999999999999999999999999999999999999999999999999999999999999999999999999999 Subtangle size: 273741","duration":151108}

KevinKu

#!/bin/bash




while 1>0
do
echo '\n' >> TestgetConfidences
date >> TestgetConfidences
echo '\n' >>TestgetConfidences

KevinKu

(declare-const x0 Int)
(declare-const x1 Int)
(declare-const x2 Int)
(assert(and (and (or (< x0 10) (= x0 10)) (= x1 (- x0 1))) (and (= x2 x1) (= x2 9) ) ))
(check-sat)

output:sat

(declare-const x0 Int)
(declare-const x1 Int)

KevinKu

theory Example imports Main 
begin

lemma "P∧Q⟹Q∧P"
  apply (erule conjE)
  apply (rule conjI)
   apply assumption
  apply assumption
  done

KevinKu

c = "b main"

gdb.execute(c,True,True)

c = "r"

gdb.execute(c,True,True)

a = open("./test_result","w")

KevinKu

import gdb
import string

  class test_gdb_python_command(gdb.Command):

	"test help"

	def __init__(self):

		super(test_gdb_python_command,self).__init__("test_gdb_python_command",gdb.COMMAND_USER)

KevinKu

3                     --------->多少writer  後面要補空格
                      --------->空一行
7 test_writer_0_job   --------->第一個數字代表 有幾個job      後面是測資的檔名     中間與後面接需要補空格
5 test_writer_1_job 
3 test_writer_2_job

KevinKu

4 4    ------------>兩個數字 第一個代表job list長度  第二個代表要有多少個reader 中間用一個空格隔開 開頭不能有其他字元   第二個數字後補空格   
       ------------>空一行  每個reader皆以4行為一個單位
1      ------------>reader的代號
1      ------------>追隨reader code list長度
0      ------------>追隨reader code list   每個reader code以空格隔開  最後一個code後要補空格

2
1
1 

KevinKu

for(::)
/*
*這邊設計是不斷的try  直到搶到index  如果擔心CPU會空轉的話  可以多個計
*數的變數  設計成大於某數值  讓出CPU
*/
{
        __sync_synchronize();

        /*
        *這邊需要一個屏障指令是要確保  讀取s是最新的數值