verification

0열

2답변

현금 계약 검증

내가 수집 서명하는 동안 문제가 발생하고 흐름 - 계약 검증이 실패 오류 메시지를 제공 : 실패 요구 사항 : 발행에서 참조 [01]에 대한 C가 미국 = , L = 뉴욕, O = PartyB 양의 균형! 300000-0 = 0, 계약 : [email protected]는 사실 그 때문이다 나타납니다 입력 된 현금 금액은 출력 + 원장을 나가는 금액과 동일

verification contract corda 2017-11-30

---

2열

1답변

변경된 개체에 대한 절 오류 수정

" "이 메서드에서 반환 한 개체가 "new"가되도록 보장 할 수있는 방법 (Dafny에서)은 어디에서나 사용되는 개체와 동일하지 않습니다. 그렇지 않으면 (아직)? 다음 코드는 최소한의 예를 보여줍니다 method newArray(a:array<int>) returns (b:array<int>) requires a != null ensures b !=

automated-tests verification solidity dafny 2017-12-01

---

-2열

1답변

내 모바일 애플리케이션을 확인하기 위해 SMS 인증 코드 패키지를 어떻게 구입할 수 있습니까?

모바일 응용 프로그램 사용자에게 SMS 인증 코드를 보내는 데 문제가 있음 일부 통신 사업자가 이러한 종류의 SMS를 차단하고 사용자가 그러한 SMS를 수신하지 못하도록하기 때문에 인증 코드를 찾고 있습니다. 제공자가 전국 각지에서 나를 서비스 (은 로컬 모바일 네트워크 운영자에 의해 차단되지 않음) 비용은 모바일 앱의 유효성 확인을 위해 값 비싸지 않아야

verification sms-verification 2017-10-22

---

0열

1답변

전자 메일 확인 후 또는 이전에 계정이 전자 메일 주소를 기반으로하는 시스템에서 사용자가 원하는 암호를 묻는 것이 더 좋습니까?

사용자가 전자 메일 주소를 기반으로 계정을 만들기 전에 우리는 토큰을 포함하는 링크가 포함 된 메일을 보내이 주소의 소유를 확인하도록 요청합니다. 클릭 함. 전자 메일 주소가 확인되기 전에 사용자가 로그인하기 위해 사용하려는 암호를 묻는 유사한 시스템이 많이 있습니다 (첫 번째 입력 양식에서). 사용자가 링크를 클릭하고 서버가 사용자를 생성하면 사용자는이

validation email architecture verification 2017-10-22

---

0열

1답변

시스템 Verilog의 하위 인덱스 만 참조하십시오.

비트 배열이 A [32] [16]입니다. 더 낮은 색인 값 중 특정 패턴이 있는지 확인하고 싶습니다. 예 : A [1] [8 : 0]은 그 패턴 A [2] [8 : 0]이 그 패턴을 가질 수도있다. A [31 - 0] [8 : 0]의 모든 패턴이 해당 패턴을 가지고있을 수 있습니다. 단일 명령문에서 모든 상위 색인 구성 요소를 참조 할 수있는 방법이 있습니

system-verilog verification system-verilog-assertions 2017-10-23

---

2열

1답변

추가 확인 단계 - 토핑 재고

내가 양식 흐름 예제를 사용하여 작업입니다 에 있는지 확인이 예는 사용자들이 자신의 샌드위치에 원하는 토핑을 선택할 수 있도록 formFlow를 사용 Here 을 발견했다. 내가 추가하는 각각의 토핑이 재고가 있는지 확인하고 사과 메시지를 보내지 않고 사용자가 다른 토핑을 ​​대신 입력하도록 확인하는 확인 단계를 추가하려고합니다. 아래에 코드 예제가 나와

c# botframework verification formflow 2017-10-30

---

1열

1답변

시뮬레이션 시간을 절약하기 위해 시스템 Verilog 생성기 모듈에서 생성 된 패킷을 파괴해야합니까?

generate_directed_packet으로 전화 할 때마다 새 개체가 만들어집니다. 다음 패킷을 만들기 전에 패킷 객체 삭제에 대해 걱정해야합니까? 그렇다면 패킷 객체를 삭제하는 방법은 무엇입니까? function void generate_directed_packet(); packet = new(); void'(packet.randomize());

verilog system-verilog verification uvm 2017-11-01

---

-2열

1답변

AdMob으로 인해 Google에서 내 주소를 확인하려고합니다.

Google에서 AdMob으로 인해 내 주소를 확인하려고합니다. 그들은 내가 정한 주소에있는 전통적인 편지에 PIN 번호를 보내고 싶습니다. 문제는 계정 주소가 거짓이라는 것입니다. 나는 질문이있다 : 내가 "Send me PIN"버튼을 클릭하지 않았더라도 그 편지를 보낼 것인가? 그 편지를 보내면 내 계정 암호가 들어 있을까요? 도와주세요 :)

admob ads verification 2017-11-15

---

0열

1답변

Django에 내장 된 UserCreationForm 검증을 숨기고 사용자가 잘못된 데이터를 채울 때 표시합니다.

사용자가 유효하지 않은 데이터를 채울 때까지 사용자 이름이나 비밀번호가 아닌 화면에 검증을 표시하고 싶지 않습니다. 어떻게해야합니까? ?! 여기 내 등록 기능입니다 class UserForm(UserCreationForm): class Meta(): model = User fields = ('username','first_n

django python-3.6 verification 2017-11-19

---

0열

1답변

Specman 전자 - 시간 표현

저는 Specman을 처음 사용하고 특정 시계의 16 사이클마다 트리거해야하는 이벤트에 시간 표현을 사용하려고합니다. 나는 event f_clk is 6*clk을 다음을 수행 할 수 있습니까? 그렇지 않은 경우 어떻게해야합니까?

verification specman 2017-11-23

---